dot/.gitconfig

[user]
	name = Peter J. Holzer
	email = hjp@wsr.ac.at
[alias]
	co = checkout
	ci = commit
	st = status
	br = branch
	hist = log --pretty=format:\"%h %ad | %s%d [%an]\" --graph --date=short
	type = cat-file -t
	dump = cat-file -p
[push]
	default = simple
Add .gitconfig 2017-02-13 20:25:22 +01:00			`[user]`
			`name = Peter J. Holzer`
Set work email address 2017-08-16 16:36:17 +02:00			`email = hjp@wsr.ac.at`
Add .gitconfig 2017-02-13 20:25:22 +01:00			`[alias]`
			`co = checkout`
			`ci = commit`
			`st = status`
			`br = branch`
			`hist = log --pretty=format:\"%h %ad \| %s%d [%an]\" --graph --date=short`
			`type = cat-file -t`
			`dump = cat-file -p`
			`[push]`
			`default = simple`