update release script for additional branches
fix release script (add missing push)
Merge branch 'master' into debian