2020-07-22 git push origin current_branchは HEADで対応できる git push origin HEAD で、毎回current_branch打たなくてよい。 qiita.com