📅  最后修改于: 2022-03-11 14:49:44.846000             🧑  作者: Mango
# In some cases, you may want to push your changes
# to another branch on the remote repository.
#
# In order to push your branch to another remote branch,
# use the “git push” command and specify the remote name,
# the name of your local branch as the name of the remote branch.
$ git push :