Sam Clegg 894c25b52a Switch to HEAD.zip when downloading archive from github. (#806) ...

This works regardless of the name of the primary branch so that
the code will continue to work if/when we rename `main` to `master`.

See: #805

2021-04-29 15:48:18 -07:00

123 KiB

Raw Blame History

View Raw