Re: FYI: commits-to-cvs disabled (switching to git)

[Eric Blake]

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