Please rename the repository operations/debs/wmf-sre-laptop to operations/debs/wmf-laptop.
The package is also useful for anyone in need of WMF shell access. It's already renamed on the Debian package level accordingly (debian/changelog), and it would be nice to have that reflected the repository name as well.
Not having a redirect to the old name is fine, there's only a handful of contributors and we can easily update the wikitech docs.
| Subject | Repo | Branch | Lines +/- | |
|---|---|---|---|---|
| Adapt gitreview config to new repo name | operations/debs/wmf-laptop | master | +1 -1 |
Mentioned in SAL (#wikimedia-releng) [2025-07-02T07:47:49Z] <hashar> gerrit: ssh -p 29418 gerrit.wikimedia.org rename-project operations/debs/wmf-sre-laptop operations/debs/wmf-laptop # T365985
$ ssh -p 29418 gerrit.wikimedia.org rename-project operations/debs/wmf-sre-laptop operations/debs/wmf-laptop Checking preconditions: 100% Retrieving the list of changes from DB: 100% Renaming git repository: 100% Updating changes in the database: 100% Indexing changes: 100% (96/96) Replicating the rename of operations/debs/wmf-sre-laptop to operations/debs/wmf-laptop: 100%
The change can now be found under the new repo name: project:operations/debs/wmf-laptop.
Despite the message, the renaming did not occur on the replica. I'll investigate separately in T398401
Change #1166385 had a related patch set uploaded (by Muehlenhoff; author: Muehlenhoff):
[operations/debs/wmf-laptop@master] Adapt gitreview config to new repo name
Change #1166385 merged by Muehlenhoff:
[operations/debs/wmf-laptop@master] Adapt gitreview config to new repo name
I have manually deleted the repository on the replica (gerrit2002). That will be correctly be handled by the plugin once T398401 is resolved.