Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
T
Tor
  • Project overview
    • Project overview
    • Details
    • Activity
    • Releases
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 1,067
    • Issues 1,067
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
  • Merge Requests 19
    • Merge Requests 19
  • CI / CD
    • CI / CD
    • Pipelines
    • Jobs
    • Schedules
  • Operations
    • Operations
    • Incidents
    • Environments
  • Analytics
    • Analytics
    • CI / CD
    • Repository
    • Value Stream
  • Members
    • Members
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar

GitLab is used only for code review, issue tracking and project management. Canonical locations for source code are still https://gitweb.torproject.org/ https://git.torproject.org/ and git-rw.torproject.org.

  • The Tor Project
  • Core
  • Tor
  • Issues
  • #33629

Closed
Open
Opened Mar 16, 2020 by teor@teor

Use stale bot to close old pull requests

Should we automatically close stale pull request on GitHub?

Some GitHub users won't contribute to a project with lots of open pull requests, because they think it's been abandoned. (Or they think we're bad at merging PRs.)

But lots of our PRs get left open because we've squashed and merged the PR, and GitHub doesn't recognise the squashed commits, so GitHub doesn't auto-close the PR.

Closing a PR:

  • hides it from the default list of PRs
  • hides its CI results in the PR itself (but they still appear in the PR list)

Anyone can reopen a closed PR. Re-opening a PR re-runs CI (which is usually what we want for old PRs).

I suggest we use probot stale: https://probot.github.io/apps/stale/

With the following options:

  • daysUntilStale: 60
    • some backport PRs are older than 60 days, but their CI should have been checked when they were reviewed
    • we don't merge very many stale PRs to master
    • any period from 30 days (most reviews completed) to 6 months (release cycle) would probably work for us
  • daysUntilClose: 7
  • exemptLabels: pinned
  • staleLabel: stale-closed
  • markComment: (like the suggested one, but mention the "pinned" label)
  • closeComment: false

On the following network team repositories:

  • tor
    • ~400 older than 2 months
    • ~270 older than 6 months
  • torspec
    • 8 older than 2 months
    • 6 older than 6 months
  • chutney
    • 1 older than 6 months, needs to be pinned?
  • fallback-scripts

And the top-level GitHub config repository:

  • .github
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
None
Milestone
None
Assign milestone
Time tracking
None
Due date
None
Reference: tpo/core/tor#33629