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.

Thanks,
Raffi


Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk