On 05/06/17 06:49 PM, Dhaval Giani via talk wrote:
On Mon, Jun 5, 2017 at 6:47 PM, Giles Orr via talk <[email protected]
<mailto:[email protected]>> wrote:
This isn't strictly a Linux question, but this list is a great
knowledge base and I know a lot of you use git. Usually on Linux.
:-)
I've written a Python program that checks all of your repositories to
see if they're up-to-date with your remotes. But given the
flexibility of git - and the output of 'git remote show origin' which
shows separate URLs for "Fetch" and "Push" - it's occurred to me that
it's probably NOT safe to assume that the Fetch and Push URLs are the
same. But ... does anyone actually have different Fetch and Push
URLs? Why would you do this?
I do. On some machines, I don't have ssh-agent setup because I can't
set it up :-). In that case, my push is to ssh and my fetch is from
git://. (I hope you all use passcodes with your ssh keys :-) )
Dhaval
I too have separate push and pull pointers on some repos, as they push
to upstream from my dev repo. The latter is often broken, as it saves
stuff from work and home, and gets pulled into the oddball repo to get
regression-tested, on it's way upstream.
It makes perfect sense to say "the regression-test repo of X is two
commits ahead of its source and up to date with its upstream", and
it'suseful.
--dave
--
David Collier-Brown, | Always do right. This will gratify
System Programmer and Author | some people and astonish the rest
[email protected] | -- Mark Twain
---
Talk Mailing List
[email protected]
https://gtalug.org/mailman/listinfo/talk
