kashimotoxiang
4/13/2019 - 4:54 AM
git
# 删除远程分支
git push origin :the_remote_branch
# 删除分支
git push origin --delete# allow-unrelated-histories
git pull origin branchname --allow-unrelated-histories
# 删除上一次 commit
git reset --hard HEAD^fatal: refusing to merge unrelated histories
# Using --allow-unrelated-histories flag worked with pull request in this way:
git pull origin branchname --allow-unrelated-histories
# list all config
git config --list