What is Github’s solution for pull requests that are not merged and remain open forever?
This question comes from that why repository owners on Github don’t merge pull requests. I see two possible situations:
- the owner is inactive and they never check their Github
- they avoid merging pull requests for an unknown reason (like they want to be the only contributor of that repository and take all the credits)
What is Github’s solution for these situations?
create some kind of motivation for the repository owners so they merge pull requests?
or give write access to the pull requester if the maintainer has been inactive for a long time?
or request from other people to review and merge the PR if the maintainer is inactive?
Current Github’s policy does not even count the contributions that are done inside forks and pull requests, so it is like you have not had any contribution!!