git remote prune origin # prunes tracking branches not on the remote
git branch —merged # lists branches that have been merged into the current branch
git branch -d ...
git clone --depth 1 https://path/to/repo/foo.git -b bar
git config --global help.autocorrect 1
git rev-list --count
git rev-list --count dev
git gc --prune=now --aggressive
git show main:README.md
git rev-list –all | xargs git grep -F 'something'