git config

[core]
	autocrlf = input
[push]
	default = simple
[color]
	ui = true
[credential]
	helper = cache
	useHttpPath = true
[rerere]
    enabled = true
[alias]
	lol = log --pretty=oneline --abbrev-commit --graph --decorate
	lola = log --pretty=oneline --abbrev-commit --graph --decorate --all
	lo = log --graph	 --summary --decorate --all
	pullr = pull --rebase
	pullra = pull --rebase --autostash
	ai = add --interactive
	ap = add --patch
	ca = commit --all
	co = checkout
	cop = checkout -p
	cp = cherry-pick
	s = status
	b = branch
	l = log
	c = commit
	a = add
	d = diff
	dc = diff --cached
	ri = rebase -i --autosquash
	ri8 = rebase -i HEAD^^^^^^^
	wip = commit --all -m "wip"
	fix = commit --amend -C HEAD
	fixup = commit --fixup=HEAD
	theirs = checkout --theirs
	ours = checkout --ours
	shm = diff-tree --no-commit-id --name-status -r
	unstage = reset -p HEAD
	reword = commit --amend
	prevision = "!f() { git checkout `git log --oneline $2 |  awk -v commit="$1" 'FNR == -commit+1 {print $1}'` $2;} ;f"

[pager]
	diff = diff-so-fancy | less --tabs=1,5 -RFX
	show = diff-so-fancy | less --tabs=1,5 -RFX
		
[url "git@git.rwth-aachen.de:"]
	insteadOf = https://git.rwth-aachen.de/

[url "git@git-ce.rwth-aachen.de:"]
	insteadOf = https://git-ce.rwth-aachen.de/