git reset --hard HEAD~3
git push --force
git ls-remote
git checkout -b branch_name
git push -u origin branch_name
git log --pretty=format:"%ad - %an: %s" --after="2023-09-25" --until="2023-10-18" --author="张三
git log --oneline 5433d1c728bed805b5bdb75a4daa47217d392d8a..bb6cce5d845a29fe88410a5118a969af5f3683fd --author=bul
git config user.name huangboju
git config user.email "[email protected]"
ssh-keygen -t ed25519 -C 邮箱
cat ~/.ssh/id_ed25519.pub
copy以上公钥
git fetch -p ; git branch -r | awk '{print $1}' | egrep -v -f /dev/fd/0 <(git branch -vv | grep origin) | awk '{print $1}' | xargs git branch -d
import re
def read_txt():
with open("git_del.txt", mode='r') as f:
for line in f.readlines():
m = re.search("git branch(.+?)'.", line, re.M)
if m is not None:
cmd = m.group()
print(cmd.replace("'.", ""))
read_txt()