tpaviot/oce — comment on commit f6b858bd31f819e979d199f2bf06cf954b14ac8e
File:  line 0
By dbarbier:

Mark is right, you can rewrite your branch history and git push -f.