Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Close all those PRs that won't ever get merged #12105

Closed
Coolthulhu opened this issue Apr 22, 2015 · 9 comments
Closed

Close all those PRs that won't ever get merged #12105

Coolthulhu opened this issue Apr 22, 2015 · 9 comments
Labels
<Suggestion / Discussion> Talk it out before implementing

Comments

@Coolthulhu
Copy link
Contributor

We have quite a bit of ancient PRs that are not mergeable and no longer maintained. They only serve to confuse the build bot and make the PR list bigger than it needs to be.

I'd close all unmergeable PRs with more than a month of no updates with a note that this closing is not a rejection, but maintenance of the PR hopper and that I'll re-open them if the author replies.

Anything wrong with my idea?

Want to back this issue? Post a bounty on it! We accept bounties via Bountysource.

@Coolthulhu Coolthulhu added the <Suggestion / Discussion> Talk it out before implementing label Apr 22, 2015
@Rivet-the-Zombie
Copy link
Member

Yeah, we've really needed to do this for a long time.

Good idea!

@drbig
Copy link
Contributor

drbig commented Apr 22, 2015

I fully support the idea.

I also feel similar treatment could be applied to issues.

@i2amroy
Copy link
Contributor

i2amroy commented Apr 22, 2015

I'm cool with PR's, and what issues we can filter out (notably older bug ones); but a large portion of the older issues are either feature enhancement plans that can't be closed so easily or are ancient NPC-type bugs that are still around in the present day. If someone wants to filter through the issues list and take off duplicates and solved ones that would be great, but it's not going to be anywhere near the ease of "cut off everything unmergeable from before X date" that the PR's are going to be.

@Zireael07
Copy link
Contributor

Let's close the ancient unmergeable PRs first before getting into closing issues.

@kevingranade
Copy link
Member

kevingranade commented Apr 24, 2015 via email

@Coolthulhu
Copy link
Contributor Author

don't simply close them unless they're abandoned

I went by last update time, mergeability and user's presence. Most of the closed PRs were ones by users who are unlikely to return.
Some were truly obsolete (AI updates that are already in, in better form).

I'll list:

I think that's it.

@Frost-wood
Copy link
Contributor

I'd argue:
#11313 (user inactive, doesn't seem to have the desire to make mergable).
#7749 inactive, really easy to redo).

@Coolthulhu
Copy link
Contributor Author

#7749 could possibly be merged even right now, I think.

@BevapDin
Copy link
Contributor

#7749 doesn't do anything. It adds terrain types that are used nowhere, if someone wants to use them, they can always merge that branch into their own work.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
<Suggestion / Discussion> Talk it out before implementing
Projects
None yet
Development

No branches or pull requests

9 participants