Jim Meyering <jim <at> meyering.net> writes:
> > I'd like to commit this, once Bruno's patch is included (partly, to make
sure
> > that git push privileges work).
>
> Go for it.
The commit worked, so it looks like the user permissions have been carried over
from CVS.
I found that adding the following to my .git/config file (with <user> replaced
by your username formerly used in CVS commits):
[remote "origin"]
url = <user>@git.sv.gnu.org:/srv/git/gnulib.git
fetch = +refs/heads/master:refs/remotes/origin/master
push = master
[branch "master"]
remote = origin
merge = refs/heads/master
makes life simpler, as follows:
$ git checkout master
$ git pull
is now shorthand for update my master branch to have everything that is on the
gnu.org's master branch
$ git push
is shorthand for pushing the changes on my master branch to gnu.org
--
Eric Blake
