Help
cancel
Showing results for 
Search instead for 
Did you mean: 
Highlighted
Copilot Lvl 2
Message 1 of 2

Search username as a simple keyword on issues

I just went to find an issue I submitted on jupyterlab and was surprised that simply searching "jwhendy" does't pull it up. I happen to have another issue there in which I just commented, but didn't author. Going through the various searches, my authored on is A, the commented one is B:

 

- "jwhendy:" B

- "author:jwhendy": A

- "mentions:jwhendy": B

- "involves:jwhendy": A and B

 

None of these is wrong, but why not auto-add usernames to the general keyword search by default? In my opinion, any username involved in any activity on the issue should bring up the issue if you search that username. If you want to get super granular, the options are there for you, but why shouldn't searching "username" be the most general case, with further features there to filter?

 

Just my input! Not sure if this is the place to put this; first time making a suggestion to github itself.

1 Reply
Moderator
Message 2 of 2

Re: Search username as a simple keyword on issues

Hi @jwhendy,

For now, the best way to submit feature requests is via our contact page (github.com/contact). GitHub Staff will see and respond to those requests there.

That said, I do want to share that we are working on a new tool and process for submitting these sorts of things via the Community Forum. This is still in the investigation stage, and I don't have a timeline to share, but we are planning on improving this process.

We also recognize the desire for feature requests to be visible to other users, commented on, and even voted on. These are all things that we are taking into consideration when looking at implementing a new process.

Thank you so much for the feedback! I'll be locking this thread from further replies, and I encourage you to send your feature request via the contact form linked above.

Mark helpful posts with Accept as Solution to help other users locate important info. Don't forget to give Kudos for great content!