Skip to content

.github/workflows: Add a workflow for dealing with stale issues/prs#36399

Merged
the-maldridge merged 1 commit intovoid-linux:masterfrom
the-maldridge:stale
Mar 30, 2022
Merged

.github/workflows: Add a workflow for dealing with stale issues/prs#36399
the-maldridge merged 1 commit intovoid-linux:masterfrom
the-maldridge:stale

Conversation

@the-maldridge
Copy link
Member

This PR adds the stale action to try and keep an eye on things that are stale due to inactivity. It will not act on any PR or issue that is assigned. Right now it won't even make any changes, I just want it to run so we can evaluate what the rough impact would be of switching on a stale PR minder.

Copy link
Member

@ahesford ahesford left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We know at least some people don't respond to manual pings on long-inactive PRs and a fair number of distro-hoppers will respond that they no longer use Void and don't care about the request. This seems like an effective way to deal with those would-be-abandonware packages.

@0x5c
Copy link
Contributor

0x5c commented Mar 29, 2022

This would essentially take care of #36253 fully

@subnut
Copy link
Contributor

subnut commented Mar 29, 2022

I guess we could tag the stale PRs with the "stale-pending_reply" tag, and ping the author requesting him to reply if they are still interested. Then wait for a specified time period (3 weeks?)

  • If they reply, remove the stale-pending_reply tag
  • If they do not reply, remove the stale-pending_reply, add the stale tag
    • Wait again for some time period
    • If author replies within said time period, remove stale tag
    • If time period ends without author replying, close the PR

EDIT: It's all speculation for the future. I don't even know if GitHub API allows this.
EDITv2: 🤦 I hadn't even seen the files added by this PR before making this comment

@classabbyamp
Copy link
Member

i believe that's what the stale action in this automates. maybe not the exact method but the overall concept

@Hoshpak Hoshpak self-requested a review March 29, 2022 17:55
@Chocimier
Copy link
Member

Closing PRs is fine, but reported bugs don't go away just because they are old. Issues should be rather marked as stale and left open.

Ok for dry run.

@0x5c
Copy link
Contributor

0x5c commented Mar 29, 2022

Closing PRs is fine, but reported bugs don't go away just because they are old. Issues should be rather marked as stale and left open.

Ok for dry run.

Oh yeah issues should probably not be auto-closed
A review of the issue backlog seems to be in order tho

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.

9 participants