debian/compat
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
Tue, 25 Apr 2017 10:56:55 +0200
changeset 2286 a4c5744a7b93
parent 531 b18b00036355
child 4912 43e9bb4de6b5
permissions -rw-r--r--
safeguard: add an option to disable automatic publishing Pushing to publishing server by mistake is a bit too common in the current state of evolve. Especially when the lack of good feature branch story make the use of -f a bit too common. So we add a very simple experimental option to allow warning (or abort) when changeset are pushed to a publishing server. This is unlikely to survive as is, but this is useful now.

8