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.