Re: Question with git push

From: demerphq <demerphq@gmail.com>
Date: Dec 23, 2008, 17:37 UTC
Message-ID: <9b18b3110812230937p3c53f778h508746a3df72610e@mail.gmail.com>
In-Reply-To: <5591393c0812230859n3b50b1f9k36153f40dd75ff57@mail.gmail.com>

2008/12/23 Paul Vincent Craven <paul@cravenfamily.com>:

> If I do a 'git push' to another repository, my changes are reverted
> the next time that repository is updated, unless I do a hard reset on
> the remote repository first.

Or just git checkout -f

> Of course, then I would lose my changes
> in the remote repository. What is the correct way of handling this?

I think the general practice is not to push to non-bare repositories unless you and the owner of the repository can coordinate things. This either means you push and then tell them, or they set up a post-receive hook (and understand the consequences of doing so). Of course often you are both of these people and coordination is easy.

The post-receive hook would go in .git/hooks and would effectively execute:

  git checkout -f

on push. However this also means that the working directory will be unilaterally updated every time someone pushes. Not something you want to do in a truely shared non-bare repo. Yves

-- 
perl -Mre=debug -e "/just|another|perl|hacker/"