Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 907045 - Please change the default branch of the user/mv.git/ repository
Summary: Please change the default branch of the user/mv.git/ repository
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Infrastructure
Classification: Unclassified
Component: Gentoo Overlays (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Overlays Project
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2023-05-23 19:59 UTC by Martin Väth
Modified: 2023-05-24 04:30 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Martin Väth 2023-05-23 19:59:52 UTC
Hi,

since quite a long time, I have "renamed" (that is, copied) the "master" branch of the respository user/mv.git/ in git.gentoo.org to "main" (due to respectful terms usage).

Since then I have updated only the "main" branch and removed (apparently semi-successful, only) the branch "master".

Now I learnt that the default repository name is still "master" and that automation tools like eselect-repository (or also layman) get confused by it, see e.g. https://github.com/vaeth/mv-overlay/issues/31.

After the reading, I came to the conclusion that it is not possible for me to do this: Somebody on the remote machine has to do it.

I would appreciate if somebody would rename the default branch from "master" to "main" on the default repository (and possibly remove rests from "master" afterward which still occassionally pops up - randomly and completely irreproducible - in https://gitweb.gentoo.org/user/mv.git/).
Comment 1 Mike Gilbert gentoo-dev 2023-05-23 21:13:28 UTC
Try running the following to update the "HEAD" ref.

> ssh git@git.gentoo.org symbolic-ref user/mv HEAD refs/heads/main
Comment 2 Martin Väth 2023-05-24 02:51:57 UTC
Thank you very much. That did the trick!
(I did not expect that I have permissions to run directly remote git commands via ssh.)
Comment 3 Mike Gilbert gentoo-dev 2023-05-24 04:30:12 UTC
Technically, you aren't directly running git commands via ssh.

Rather, you are invoking a gitolite command, which then calls git.

You can view a list of available gitolite commands by running:

ssh git@git.gentoo.org help