|
|
Boost : |
Subject: Re: [boost] git reset and force push
From: Andrey Semashev (andrey.semashev_at_[hidden])
Date: 2015-10-07 03:20:39
On 07.10.2015 02:56, Raffi Enficiaud wrote:
> Hi all,
>
> Is there any policy wrt. reseting a branch master/develop and force
> pushing? The side question is to know if the boost git tools (the bot
> for submodules) can cope with those operations.
Please, don't do this. It breaks pulling changes from github.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk