Re: [PATCH] git-remote: distinguish between default and configured URLs
- From
Michael J Gruber <git@drmicha.warpmail.net>
- Date
- Jan 16, 2013, 10:27 UTC
- Message-ID
- <50F6807A.6080800@drmicha.warpmail.net>
- In-Reply-To
- <a5bf3511b3ecf4e9243d550d11ab977f95ecea30.1358331096.git.git@drmicha.warpmail.net>
Michael J Gruber venit, vidit, dixit 16.01.2013 11:14:
Show 17 quoted lines
> The current output of "git remote -v" does not distinguish between > explicitly configured push URLs and those coming from fetch lines. > > Revise the output so so that URLs are distinguished by their labels: > > (fetch): fetch config used for fetching only > (fetch/push): fetch config used for fetching and pushing > (fetch fallback/push): fetch config used for pushing only > (fetch fallback): fetch config which is unused > (push): push config used for pushing > > Signed-off-by: Michael J Gruber <git@drmicha.warpmail.net> > --- > Maybe something like this? It even seems to make the code in get_one_entry > clearer. > > I yet have to look at the tests, doc and other git-remote invocations.
Okay, so "git remote show remotename" copied the logic from "git remote -v" but neither reused the code nor the output format. I guess we'd have to implement the new logic and keep the old format? Refactoring would require settling on a common format. Both outputs should be ui-as-ui-can, but I'm afraid people are still grepping the output in their scripts :(
Michael