[boost] git reset and force push

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.

Thanks,
Raffi