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

Automatically close stale issues #6701

Merged
merged 1 commit into from May 23, 2017
Merged

Conversation

ahundt
Copy link
Contributor

@ahundt ahundt commented May 21, 2017

@fchollet Merge this pull request plus follow https://github.com/integration/probot-stale to automatically mark the many 3 month old issues as stale, then close them after an additional 30 days.

I chose 30 additional days for closing because sometimes people go on vacation for a few weeks, this way they'll have time after being notified.

@fchollet Merge this pull request plus follow https://github.com/integration/probot-stale to automatically mark the many 3 month old issues as stale, then close them after an additional 30 days.

I chose 30 additional days for closing because sometimes people go on vacation for a few weeks, this way they'll have time after being notified.
@Seanny123
Copy link

I support the merging of this pull request. The issues are currently quite painful to read and search.

@fchollet
Copy link
Member

Thanks!

@fchollet fchollet merged commit b205ba1 into keras-team:master May 23, 2017
@ahundt ahundt deleted the patch-5 branch May 23, 2017 17:39
@PavlosMelissinos
Copy link
Contributor

I think it missed a few:
e.g.
#101,
#117,
#169

@ahundt
Copy link
Contributor Author

ahundt commented May 24, 2017

@PavlosMelissinos I think it got around to two of them now. Looks like over 1700 issues have been marked stale now! It is so great that github provides a way to do some of this cleanup automatically. Apparently one person isn't a fan though.

@PavlosMelissinos
Copy link
Contributor

Really? Who wouldn't like this? Is there a discussion going on somewhere? I'd love to hear the other side's arguments.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants