Re: problems with git push and pull

[Keith OHara]

Janek Warchoł <janek.lilypond <at> gmail.com> writes:

> 
> As a nice inauguration of me having git push ability, i broke my
> repository :)  git pull seems not to work properly.
> 

Your commit looks fine on the repository, so nothing to worry about there.

I would expect another line in your configuration, added below:

> [remote "origin"]
>       url = ssh://janekw <at> git.sv.gnu.org/srv/git/lilypond.git
      fetch = +refs/heads/master:refs/remotes/origin/master

Probably you want to go through CG 3.2.2, Downloading Remote Branches, 
to make sure everything you set up there is still set up.