public-inbox mirroring instructions
This public inbox may be cloned and mirrored by anyone:
git clone --mirror https://inbox.vuxu.org/hott
# If you have public-inbox 1.1+ installed, you may
# initialize and index your mirror using the following commands:
public-inbox-init -V1 --ng vuxu.archive.hott \
hott ./hott https://inbox.vuxu.org/hott \
homotopytypetheory@googlegroups.com
public-inbox-index ./hott
Example config snippet for mirrors: https://inbox.vuxu.org/hott/_/text/config/raw
Newsgroup available over NNTP:
nntp://inbox.vuxu.org/vuxu.archive.hott
AGPL code for this site:
git clone http://7fh6tueqddpjyxjmgtdiueylzoqt6pt7hec3pukyptlmohoowvhde4yd.onion/public-inbox.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).