Gwilym Kuiper f67af1d3bd Poll the correct URL this time ($1 = the first argument, not $0)		2022-08-02 23:24:08 +01:00
..
scripts	Poll the correct URL this time ($1 = the first argument, not $0)	2022-08-02 23:24:08 +01:00
workflows	Name the build-and-test	2022-08-02 23:14:30 +01:00
logo.png	Add logo to repo and readme	2021-07-05 23:56:43 +01:00
pull_request_template.md	add what we need to do before merging	2022-08-02 22:52:33 +01:00
renovate.json	close issue if there is nothing to be done	2022-01-21 00:11:08 +00:00