>>>>> "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