Fix wrong git branch command in commit script
Description of bug
git branch -u
command was wrong since the branch did not exist in the remote when the command was called. This
Changes introduced
- Get rid of
git branch -u
- Change printout at the end of the script from
git push
togit push -u ...
Tests
Issues resolved
Closes #
/label Bug fix /label High priority
Edited by Spyros Argyropoulos