debian/docs
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
Tue, 25 Apr 2017 10:56:55 +0200
changeset 2286 a4c5744a7b93
parent 1103 d1ca81f9e458
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.

html
README