Skip to content

Instantly share code, notes, and snippets.

@zioproto
Last active December 21, 2022 12:38
Show Gist options
  • Save zioproto/8a1e1b8a31ecdb0160dbf775708c1d94 to your computer and use it in GitHub Desktop.
Save zioproto/8a1e1b8a31ecdb0160dbf775708c1d94 to your computer and use it in GitHub Desktop.
gitconfig
[user]
name = Saverio Proto
email = [email protected]
[core]
editor = vim
autocrlf = input
[color]
diff = auto
branch = auto
status = auto
[alias]
superlog = log --graph --all --decorate --pretty=oneline
superlogextended = log --graph --all --decorate
stat = diff -C --stat=1000,1000
pr-checkout = !zsh -c 'git fetch origin pull/"${1}"/head:pr"${1}" && git checkout pr"${1}"' -
pr-pull = !zsh -c 'git pull origin pull/"${1}"/head' -
oldest-ancestor = !zsh -c 'diff -u <(git rev-list --first-parent "${1:-master}") <(git rev-list --first-parent "${2:-HEAD}") | sed -ne \"s/^ //p\" | head -1' -
[gitreview]
username = zioproto
[url "git+ssh://[email protected]/"]
insteadof = lp:
[url "git+ssh://[email protected]/~zioproto/+git/"]
insteadof = lpme:
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment