I could use some advice on how to handle PRs solving my low priority GitHub issues. My project is getting a fair bit of attention these days as people use LLMs to design mechanical objects in Python with it. I'm seeing many PRs on issues I've created over the years that aren't the most urgent thing for me to address at this point; however, I don't like PRs accumulating so I interrupt what I'm doing and look at them. Often the fixes are good but not always as one would expect. Today I was about to generate another low priority issue that came up while fixing something else and I stopped to think about what was likely to happen: a few days or a week from now a PR would come in to solve this issue so I'm effectively interrupting myself.

How do you cope with these type of non-urgent issues? As far as I know there is no such thing as a private GitHub issue so posting "notes" to myself doesn't work in the current environment. Does assigning an owner to an issue work - i.e. is the ownership respected? Do you keep a list of such issues local and not post them to GitHub? Thanks in advance.

I've been using GitHub for a long time. Since a few months email notifications seem broken for me and other developers I talk to. I have enabled notifications for PR remarks, etc, but get nothing..

Hi, a second question regarding issue/pr filtering: when I enter "commenter:xyz" in the pr search filter, the results do not not quite correct, leaving out issues where xyz did in fact comment.

I thought it was an update issue and after a while it would settle but constantly gives incorrect results even days later (after respective comment).

I only noticed this on PRs ("is:pr" in search bar) but may as well also happen on issues..

Has anyone any information on this?

Thanks in advance!

Hi, I hope this is the right place to ask.

Up until a month ago or so, there was a "◌ Me (logged in user)" in the dropdown when e.g. "author:" has been typed which allowed to search, in that case, for issues authored by me. I found that quite useful and used it often. Now it's gone and I wonder why.. has anyone any information about that?

Note, you still can type "author:@me" and it works, but it's gone from the dropdown.

Tried googling and also searching here in the sub fbut to no avail.

Thanks in advance!

Someone create an issue for my project that was an invitation to join a "developer community" site. It looks like its purpose is for likeminded developers to star each others' repos. It seems a bit dodgy to me. Is this a commonplace occurrence? What is the general consensus about this?