5 Commits

Author	SHA1	Message	Date
Dylan K. Taylor	314ce1d012	build/make-release: push after 5 seconds instead of 10	2019-11-11 16:41:50 +00:00
Dylan K. Taylor	59c310b914	unfuck the make-release script	2019-07-12 18:59:54 +01:00
Dylan K. Taylor	5430f19e7a	make-release: allow specifying a version number explicitly	2019-07-12 18:18:26 +01:00
Dylan K. Taylor	7c52b4c93d	make-release: added a missing newline	2019-07-07 18:02:25 +01:00
Dylan K. Taylor	15fa1056b7	added make-release script	2019-06-25 18:03:48 +01:00