To be explicit: I agree.
But I still think it's basic decency to close the PR and tell them No. Or if you plan to leave it around make a comment to that effect.
But I still think it's basic decency to close the PR and tell them No. Or if you plan to leave it around make a comment to that effect.
Something like that?
Cathedral -> centralized control Bazaar -> decentralized control
https://opensource.stackexchange.com/questions/511/whats-the...
Why does GitHub persist? It's not like forcing the feature enabled helps anyone. The maintainers will still not merge if they don't want to. There are bots in the marketplace that will close PRs with a message. GitLab has a toggle. Why is this so important to GitHub?
I think if it is made clear "don't hold your breath" and someone decides to contribute anyway, well, it's only fair to wait.