2 Commits

Author	SHA1	Message	Date
Rafa de la Torre	47f1f918d4	Do not check code is updated when not needed ... Particularly, when it is master or a detached HEAD (usually when checking out tags).	2016-08-11 19:20:04 +02:00
Rafa de la Torre	58ef79fb6a	Script to check whether a branch is up to date	2016-08-09 15:42:08 +02:00