Skip to content

Instantly share code, notes, and snippets.

@zfhui
Last active October 18, 2023 08:16
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save zfhui/89ccc4085a7adeccd7ef8e2de8b66afa to your computer and use it in GitHub Desktop.
Save zfhui/89ccc4085a7adeccd7ef8e2de8b66afa to your computer and use it in GitHub Desktop.
[user]
name = Zhuo-Fei Hui
email =
signingkey = /Users/fei/.ssh/id_ed25519.pub
[core]
editor = code --wait
[alias]
co = checkout
ci = commit
st = status
br = branch
pr = pull --rebase
hist = log --pretty=format:\"%h %ad | %s%d [%an]\" --graph --date=short
type = cat-file -t
dump = cat-file -p
[push]
autoSetupRemote = true
[merge]
tool = opendiff
[core]
excludesfile = /Users/fei/.gitignore
[pager]
branch = false
[commit]
gpgsign = true
[gpg]
format = ssh
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment