3 commits

Author	SHA1	Message	Date
Tobias Geerinckx-Rice	910dfd53bd	git-hub: minor clean-up ... Move meta out of the way; inherit the GitHub home page from src; `with platforms; linux` -> `platforms.linux`.	2015-10-02 05:34:34 +02:00
Tobias Geerinckx-Rice	481d2acea8	git-hub: remove files not needed on Nix	2015-08-17 23:21:50 +02:00
Tobias Geerinckx-Rice	1a64d9251c	Add git-hub: command line GitHub interface ... Rather cool, actually.	2015-06-02 23:58:03 +02:00