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