4 Commits

Author	SHA1	Message	Date
Nicolas Mattia	89ae775e9d	Add --rev and -r ... This should hopefully clarify that `--version` shouldn't be used for GitHub repositories; moreover setting a particular revision is used much more often than changing the repo name.	2020-08-21 16:17:27 +02:00
Nicolas Mattia	bee0b4ca51	Release 0.2.15	2020-08-13 16:41:08 +02:00
Nicolas Mattia	56e3f877ad	Release 0.2.10	2020-01-06 21:05:49 +01:00
Nicolas Mattia	4b7ce24ad5	Prepare for release	2019-06-13 11:30:13 +02:00