Release 2/11: make the Gitea repo public, disable its issues #43

New Issue

2026-08-08T18:43:10-04:00

jared commented

2026-08-08 18:43:10 -04:00

Depends on #42 (secret scan).

Steps

Gitea → repo Settings → make public.
Gitea → Settings → disable Issues on this repo.

Why disable issues here

Once the GitHub mirror exists it accepts issues and PRs, and a GitHub account is far more common than an account on this instance. Two inboxes at ~10 focused hours a week is how an issue sits unanswered for six weeks — which is worse signal than having no tracker at all.

One inbox, on the mirror.

Done when

curl -s -o /dev/null -w '%{http_code}' https://gitea.civilytics.org/Civilytics/uscogdata returns 200 from a logged-out session
Issues tab is gone from the Gitea repo

Depends on #42 (secret scan). ## Steps 1. Gitea → repo Settings → make **public**. 2. Gitea → Settings → **disable Issues on this repo**. ## Why disable issues here Once the GitHub mirror exists it accepts issues and PRs, and a GitHub account is far more common than an account on this instance. Two inboxes at ~10 focused hours a week is how an issue sits unanswered for six weeks — which is worse signal than having no tracker at all. One inbox, on the mirror. ## Done when - [ ] `curl -s -o /dev/null -w '%{http_code}' https://gitea.civilytics.org/Civilytics/uscogdata` returns `200` from a logged-out session - [ ] Issues tab is gone from the Gitea repo

jared referenced this issue

2026-08-08 18:43:11 -04:00

Release 3/11: create the public GitHub mirror repo #44

jared referenced this issue

2026-08-09 09:19:34 -04:00

Release 7/11: tag v0.4.0 and register with r-universe #47

jared commented

2026-08-09 09:19:57 -04:00