bugfix: fix error in git workflow