Pádraig Brady 09f3fc5f70 doc: reference the github mirror in docs ...

The github mirror is a common interaction point
for issues and pull requests, so reference it in README and HACKING.
Also update the current size of the repo to be more accurate.

Addresses issue #318

2026-07-15 15:43:20 +01:00

6.6 KiB

Raw Permalink Blame History

View Raw