7 Oct
2015
7 Oct
'15
7:20 a.m.
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.