Less git acrobatics in devscripts/release.sh