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

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

Hi, On Mon, 8 Aug 2005, Junio C Hamano wrote: > We would need something like this. > > [...] > > +$(patsubst git-%,%.o,$(PROG)): $(LIB_H) A short for i in git-*; do \ c=$(echo $i|sed "s/git-\(.*\)/\1.c/g") if [ -e $c ]; then \ if !

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

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 dependency though: > > peek-remote.o: cache.h > > which in my case lead to a git-peek-remote program which was unable to

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 tested...).