13 Commits

Include renames

Author	SHA1	Message	Date
Michiel Scholten	7046d2e552	push is only possible to authenticated repos, disable	2014-07-21 20:58:09 +02:00
Michiel Scholten	3443b0a9c2	Fix for the group	2014-07-21 12:51:30 +02:00
Michiel Scholten	c6b03a2010	Re-enabled the commands and cleaned up a bit	2014-07-21 11:19:34 +02:00
Michiel Scholten	6acb103365	Fix for GRP and GRPDIR not being reset after entering new WORKSPACE	2014-07-21 11:18:14 +02:00
Michiel Scholten	3ee8ebb69d	Almost there; some debug and support for empty workspace and groupdir	2014-07-19 18:06:19 +02:00
Michiel Scholten	030dc90c67	Removed the per-group config file loop	2014-07-19 16:43:15 +02:00
Michiel Scholten	6878d117c0	Started on unified config	2014-07-18 11:48:59 +02:00
Michiel Scholten	e8c6da8092	Finished the git commands	2014-07-17 21:58:59 +02:00
Michiel Scholten	025b6a51dd	Cleanups, error checking and other robustness	2014-07-17 21:37:50 +02:00
Michiel Scholten	acc9252b49	Read config dirs	2014-07-17 21:30:21 +02:00
Michiel Scholten	a6ae1564d3	Indentation fix	2014-07-17 21:09:18 +02:00
Michiel Scholten	cc2ccceef3	Fleshing out the configurable part	2014-07-17 21:08:54 +02:00
Michiel Scholten	8a24e9b253	Copied git-update script that's under construction to public repo	2014-07-17 20:56:36 +02:00