Boost logo

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, gregod at, cpdaniel at, john at