I am comfortable using git CLI, but I'm still a novice at the github UI, PR concept, and github etiquette.
I created a pull request and I haven't received any feedback on it (except for some positive emojis). I have no special permissions in this repository. I'm not a contributor, member, owner, etc. I'm just a random GitHub user that submitted a PR request.
Here are my questions, in order:
- After enough time has passed (~5 months in this case), is it bad form to ping GH users capable of merging my PR to request a review?
- Is there a way to ping the group of GH users in that repository that are capable of merging my PR? e.g.,
@membersor something. - Is there a way to find the list of GH users capable of merging my PR, ideally sorted by most recent activity GitHub activity, so I can ping 1 or 2 of them to review my PR?
I only need the details of the first question that's a "Yes."