GitHub mirror goes public #27
Labels
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference: Cordy/Cairn#27
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Publish the public GitHub mirror of the repo (currently private on Forgejo). Fair-code license (
LICENSE.md) in place, marketing vocabulary "source-available"/"fair-code" (never "open source").Final public-launch step; gated on v0.4 being a comfortably-deployable competitor.
Cordy referenced this issue2026-07-30 04:28:20 +00:00
Triage: tandem (launch action, you drive). Make the GitHub mirror public. Gates #202 (switch update-check
tagsUrlto GitHub) and the shipped update-check default. Part of the v0.8 going-public batch with #26.