6 Commits (3644b06b3aba595824b4672c6b3a62499c6c5f41)

Author	SHA1	Message	Date
Matt Keeler	5ff7a65e7f	Added capability to make dev-tree without pushing ... No push is the default	2018-06-26 11:46:37 -04:00
Matt Keeler	9457468423	Quote $@ when passing around	2018-06-18 14:53:50 -04:00
Matt Keeler	5381e78520	Pass the right var to git_push_ref	2018-06-18 12:34:30 -04:00
Matt Keeler	31b918d554	Return early when git changes are denied	2018-06-18 12:33:59 -04:00
Matt Keeler	3f290cc676	Generalize git pushing in a bash function	2018-06-15 20:42:07 -04:00
Matt Keeler	147e4a1eae	Add capability to put tree back into dev mode via make dev-tree	2018-06-15 08:00:12 -04:00