Re: A simple script to do the reverse of git-push

Dear diary, on Tue, Aug 09, 2005 at 12:42:36AM CEST, I got a letter where Junio C Hamano [EMAIL PROTECTED] told me that... Johannes Schindelin [EMAIL PROTECTED] writes: BTW, if you are lazy, like me, you just pull from Junio once in a while and do a make test. Turns out there is a missing

A simple script to do the reverse of git-push

Hi list, I mentioned in another mail that I needed the opposite of git-push, namely getting all heads, and if they are strict parents of the local refs, just update them. Well, Junio pointed out that it's easy using the available tools, and he was right. The result is attached (and