Use full branch names when pushing

Otherwise there might be conflicts with tags having the same name as a branch being pushed
Fixes issues #1543 and #1551