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:
“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.