git delete local and remote tag

delete local
git tag -d v1.5

delete remote tag:just push a empty tag to remote
git push origin :refs/tags/v1.5

build git server on vmware debian by self

add user
#adduser git
put client keys in /home/git/.ssh/authorized_keys
init a empty repo
#cd /home/git ;mkdir /home/git/prj2
#cd prj2; git init --bare
#chown git:git -R /home/git/prj2
forbit bash login
edit /etc/passwd, modify git's shell to /usr/bin/git-shell
int client, clone
$git clone git@192.168.xxx.xxx:/home/git/prj2
edit your files in client and push
$git push origin master

Git list all traced files.

git ls-tree --full-tree -r --name-only HEAD

git 删除远程branch

git push origin --delete serverfix

git reset --soft --mixed --hard区别

https://blog.csdn.net/carolzhang8406/article/details/49761927
https://www.cnblogs.com/kidsitcn/p/4513297.html
# --soft # 还原 HEAD
# --mixed # 还原 HEAD、Index # 默认参数
# --hard # 还原 HEAD、Index、Working Directory