Skip to content

Instantly share code, notes, and snippets.

@diresi
Created March 25, 2017 20:24
Show Gist options
  • Save diresi/8b123573e4e52021389835689baadde7 to your computer and use it in GitHub Desktop.
Save diresi/8b123573e4e52021389835689baadde7 to your computer and use it in GitHub Desktop.
[core]
abbrev = 12
[user]
name = Christoph Rissner
email = resi@rissner.net
[push]
default = matching
[alias]
glog = !GIT_PAGER='less +/HEAD' git log --graph --all --decorate
log = log --decorate
vlog = log --decorate --stat
slog = log --decorate --graph --oneline
st = status -s
sync = ! CUR=$(git branch | grep '*' | cut -c 3-) \
&& git stash \
&& git checkout master \
&& git pull upstream master \
&& MERGED=$(git branch --merged | grep -vE '([*]|master)') || true \
&& git branch -d ${MERGED} || true \
&& git remote prune origin \
&& git checkout ${CUR} || true \
&& git stash pop || true
[log]
decorate = true
[sendemail]
smtpServer = knecht.flinkwork.com
smtpServerPort = 25
cc = cri@flinkwork.com
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment