>>>>> "TN" == Thien-Thi Nguyen <t...@gnuvola.org> writes:

TN> A note about cloning: The git repo has no ‘master’ branch, even though
TN> its HEAD points to refs/heads/master.  Presently i know of no way to
TN> change that (as the project admin) barring asking a savannah admin to
TN> DTRT (see my Q, end of <http://savannah.gnu.org/maintenance/UsingGit>).

You should be able to create one in your local clone and when you push
it should just work.

If you have a file in .git/refs/heads, you can just copy that to
.git/refs/heads/master; if it is packed in .git/packed-refs you
can just copy that line and name it refs/heads/master.

That will make master identical to the branch in question.

Using the git commands, git branch should be able to do it, but I find
that copying is faster and easier. YMMV.

You might need to use the --all option to git-push to ensure that the
new master branch ref gets pushed.

-JimC
-- 
James Cloos <cl...@jhcloos.com>         OpenPGP: 1024D/ED7DAEA6

Reply via email to