dot_gitconfig

[user]
	name = Lars Van Cauter
	email = larsvancauter@gmail.com
[alias]
	coma = !git add . && git commit -m
	ss = status
	fet = fetch
	psh = push
	pll = pull
	br = branch
	co = checkout
	gud = commit -m
	stabbed = !git commit -a -m 'fixed merge-conflict' && git push
	ls = log --pretty=format:"%C(yellow)%h\\ %ad%Cred%d\\ %Creset%s%Cblue\\ [%cn]" --decorate --date=short
    pshu = push -u origin HEAD
    pushu = push -u origin HEAD
[credential "https://github.com"]
	helper = 
	helper = !/usr/bin/gh auth git-credential
[credential "https://github.ugent.be"]
	helper = 
	helper = !/usr/bin/gh auth git-credential
[pull]
	rebase = false
[init]
	defaultBranch = root
[safe]
	directory = /mnt/data/Ugent/selab2/OSOC-1
	directory = /mnt/data/Ugent/compbio/compproject
	directory = /mnt/data/Ugent/logprog/project
	directory = /mnt/data/Ugent/selab2/OSOC-3