Skip to content

docs(schedules): drop the source from the gnu comment - #8

Merged
jshvn merged 1 commit into
mainfrom
josh/gnu-primary-source
Oct 9, 2026
Merged

jshvn merged 1 commit into
mainfrom
josh/gnu-primary-source

Conversation

@jshvn

@jshvn jshvn commented Oct 9, 2026

Copy link
Copy Markdown
Member

katoptra/gnu syncs from ftp.gnu.org (katoptra/gnu#5). The comment named a secondary mirror. It now has the same shape as the nongnu comment and names no source. Comment only: no change to the schedule or the binary.

@jshvn
jshvn merged commit 69e7e44 into main Oct 9, 2026
1 check passed
@jshvn
jshvn deleted the josh/gnu-primary-source branch October 9, 2026 02:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant