But I didn't say it's a big problem. It's unexpected
though, and I
think we had agreed that nobody would ever use push --force on the
reference repository, especially not as a standard development
procedure.
No-one should ever make a rule absolute *ever*?
See my point? :)
We are just minimizing the double PR overhead for this short and well defined period of
time. No biggie as we know why and how we break the force rule.
Emmanuel