|
From: | Eli Zaretskii |
Subject: | Re: git push precautions |
Date: | Wed, 28 Jan 2015 20:42:41 +0200 |
> From: Ivan Shmakov <address@hidden> > Date: Wed, 28 Jan 2015 18:30:57 +0000 > > My preference is rather ‘push.default nothing’, so that > git-push(1) fails loudly should I fail to specify what to push. IMO (and IME) that's a nuisance that isn't justified.
[Prev in Thread] | Current Thread | [Next in Thread] |