Skip to content

Instantly share code, notes, and snippets.

@runejuhl
Created March 8, 2019 11:25
Show Gist options
  • Save runejuhl/4528dd0ff119ce057e92f9a674eabad6 to your computer and use it in GitHub Desktop.
Save runejuhl/4528dd0ff119ce057e92f9a674eabad6 to your computer and use it in GitHub Desktop.
[user]
name = Rune Juhl Jacobsen
email = [email protected]
signingkey = 0ACCEE0203A154E7
[push]
default = simple
followTags = true
[advice]
detachedHead = false
[grep]
lineNumber = true
[remote "github"]
fetch = +refs/pull/*/head:refs/remotes/github/pr/*
[alias]
glog = log --graph --pretty=format:'%Cred%h%Creset -%C(yellow)%d%Creset %s %Cgreen(%cr) %C(bold blue)<%an>%Creset'
prune = fetch --prune
find-file = "!for branch in $(git for-each-ref --format=\"%(refname)\" refs/heads); do if git ls-tree -r --name-only $branch | grep \"$1\" > /dev/null; then echo \"${branch}:\"; git ls-tree -r --name-only $branch | nl -bn -w3 | grep \"$1\"; fi; done; :"
[fetch]
prune = true
[transfer]
# needs to be false for some broken repos
fsckobjects = true
[commit]
gpgSign = false
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment