Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:68538
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: error (pb1.pair.com: domain schlueters.de from 217.114.211.66 cause and error)
To: Jordi Boggiano <j.boggiano@seld.be>
Cc: internals@lists.php.net
In-Reply-To: <520D1BA8.1060504@seld.be>
References: <1376589335.14536.228.camel@guybrush> <520D1BA8.1060504@seld.be>
Content-Type: text/plain; charset="UTF-8"
Date: Thu, 15 Aug 2013 20:45:56 +0200
Message-ID: <1376592356.14536.240.camel@guybrush>
Mime-Version: 1.0
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV] git branches 5.3/ 5.4 / 5.5
From: johannes@schlueters.de (Johannes =?ISO-8859-1?Q?Schl=FCter?=)

On Thu, 2013-08-15 at 20:19 +0200, Jordi Boggiano wrote:
> 
> And to ensure you never push garbage by accident, run this to tell git
> to always only push the branch you're on when you run `git push`:
> 
>     git config --global push.default current

Good tip. I wasn't aware of that setting. Mind that we have multiple
active branches we typically push to in one go, so using the default and
being clear about ones tracking branches can be comfortable, too, and
avoid forgetting to properly push to all branches.

So each approach has benefits and downsides ... and well as I'm the only
one who currently can do forced pushes (I think) neither approach will
cause actual trouble ;-) (if it becomes bad, which I don't expect, we
can add restrictions to the server, too)


Probably the best is to do a push --dry-run to check and getting used to
manually specify branches i.e.
    git push origin PHP-5.4 PHP-5.5 master

johannes