5 Commits

Author	SHA1	Message	Date
Laurent Rineau	6e06f20382	Small improvement to that script ... I hijack the PR to slip a small improvement to that script.	2018-11-19 14:37:08 +01:00
Laurent Rineau	5c9285f84f	safer and faster script, without calling git-reset	2018-04-05 10:11:20 +02:00
Laurent Rineau	63d3c81038	Fix the previous commit	2017-09-15 17:12:48 +02:00
Laurent Rineau	7fb5d8dc05	Protection against loss of uncommitted stuff	2017-09-15 17:10:56 +02:00
Laurent Rineau	18a84363c2	Add a zsh script to help the release manager	2017-09-15 16:43:06 +02:00