Update release script of Matterhorn
Steps to reproduce
Steps to reproduce:
1. Currently the release script (tag.sh) might let you miss errors in git
October 21, 2016, 12:48 PM
This is outdated
October 21, 2016, 12:36 PM
Hi Rüdiger, is this issue still relevant?