Skip to content

Instantly share code, notes, and snippets.

@jvmvik
Created October 26, 2017 16:13
Show Gist options
  • Select an option

  • Save jvmvik/7d6cc45d9776a682bb2b0bbbba7e1bd3 to your computer and use it in GitHub Desktop.

Select an option

Save jvmvik/7d6cc45d9776a682bb2b0bbbba7e1bd3 to your computer and use it in GitHub Desktop.
My git config file
[user]
name = Victor Benarbia
email = victor.benarbia@arm.com
[push]
default = simple
[alias]
ci = commit
ll = log --graph --stat --abbrev-commit --decorate=full
lp = log --graph --patch --abbrev-commit --decorate=full
lm = log --graph --patch --abbrev-commit --decorate=full --author victor
cp = cherry-pick
s = status
b = branch -vv
p = pull
d = diff
co = checkout
stash-diff = stash show -p stash@{0}
outstanding = log origin/dev..HEAD
change = diff --stat --cached origin/master
mm = merge -Xignore-space-change dev
find = log --graph --stat --
jira = "!sh -c \"echo https://jira.arm.com/browse/`git branch | grep -e "^*" | cut -d'/' -f3`\""
new = "!sh -c \"git checkout -b scratch/users/vicben01/$1\""
close = "!sh -c \"git merge --squash scratch/users/vicben01/$1 -m \"Merge $1\"\""
ld = diff --stat HEAD..origin/dev
root = rev-parse --show-toplevel
[color]
diff = auto
[core]
whitespace = trailing-space,space-before-tab
[apply]
whitespace = fix
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment