Boost logo

Boost :

Subject: [boost] git reset and force push
From: Raffi Enficiaud (raffi.enficiaud_at_[hidden])
Date: 2015-10-06 19:56:23

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.


Boost list run by bdawes at, gregod at, cpdaniel at, john at