6 commits

Author	SHA1	Message	Date
Jake Howard	b802b83112	User in repos dir should always be personal	2018-06-22 11:31:44 +01:00
Jake Howard	e1593dbf7d	Enable rerere cache	2018-04-13 17:13:22 +01:00
Jake Howard	7414d165c0	Add sourcebots specific git config	2018-03-31 18:55:32 +01:00
Jake Howard	cc6c9a92f5	Add github username	2018-03-31 18:18:20 +01:00
Jake Howard	a4b05e1517	Add private git config file	2018-03-31 18:17:45 +01:00
Jake Howard	b75af38998	Add main git config	2018-03-31 18:13:48 +01:00