On Mon, May 30, 2011 at 1:39 PM, DJ Delorie wrote:
>
>> git remote update origin would be the easiest way.
>
How about
$ git remote show origin
--wpd
___
geda-user mailing list
geda-user@moria.seul.org
http://www.seul.org/cgi-bin/mailman/listinfo/ged
> git remote update origin would be the easiest way.
How is this different than git fetch? Assuming the unneeded branches
aren't huge.
___
geda-user mailing list
geda-user@moria.seul.org
http://www.seul.org/cgi-bin/mailman/listinfo/geda-user
On Mon, May 30, 2011 at 10:15 AM, DJ Delorie wrote:
>
> Is there a quick way to check to see if a local repo is out of date
> relative to a remote repo? I'd like to write a shell script that
> rebuilds pcb but only if something's been committed to the master
> repo. Rather than check out the who
Is there a quick way to check to see if a local repo is out of date
relative to a remote repo? I'd like to write a shell script that
rebuilds pcb but only if something's been committed to the master
repo. Rather than check out the whole tree and see if anything
changed, I'd rather just compare h
4 matches
Mail list logo