Steve Gilvarry 35b581240f Reinstate User and Repo options
Trying to use github options to hold repo and user didn’t seem to work
for all commands. Reverting those changes
2016-01-03 07:02:19 +11:00
..