1890612 - Close stale PRs at `github.com/mozilla/mozilla-central/pulls`.

Status: RESOLVED FIXED

(mozilla.org :: Github: Administration, task)

Description

[Mr. Beedell, Roke Julian Lockhart]

https://github.com/mozilla/mozilla-central/pulls?q=is%3Apr+is%3Aopen contains 4 very, very stale PRs (from 2014) which don't need to be open anymore. In fact, it might be worth just archiving the repository, per https://github.com/mozilla/mozilla-central/blob/1edce26c5c14ad55bf6fb726620624182f91d3a7/README.md#this-repository-is-retired.

Comment 1

[Greg Cox [:gcox]]

I think OP's reasonably right and this looks like a 'abandoned repo' archiving target. Passing to GHE admins to consider.

Comment 2

[Chris Brentano [:ctb]]

Yeah, archiving this repo is probably best. Our script will close out the PRs and any open issues.

Lonnen, you still have write access to the repo, do you approve of archiving this? Thanks.

Comment 3

[Chris Knowles [:cknowles]]

Answering for Lonnen, as they're on leave - They made a list of repos to look at archiving, which we are looking at - but it does have a reference to this repo:

"https://github.com/mozilla/mozilla-central (shut down 11 years ago, archive it)"

I'd mark that as a vote from Lonnen to archive.

Comment 4

[Chris Brentano [:ctb]]

Okay, archived it is!

Comment 5

[Chris Brentano [:ctb]]

mozilla,mozilla-central,http://mozilla:[redacted]@gitmirror.mozilla.org/mirror,True
mozilla,mozilla-central,https://hooks.slack.com/services/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,True
---------------
org,repo,key
---------------