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
3 matches
Mail list logo