docs: record the fj and Forgejo quirks found while seeding the tracker #14

Merged

icub3d merged 1 commit from docs-fj-quirks into main

2026-08-06 22:20:50 +00:00

icub3d commented

2026-08-06 22:06:54 +00:00

Owner

Follow-up to #1, which merged before this commit landed on the branch.

Records three things that cost time while seeding the tracker and would cost
it again: fj wiki does not infer the repo from the git remote, this wiki's
branch is main rather than the master Forgejo usually defaults to (pushing
to master reports success and shows nothing), and issues and PRs share one
number counter.

Docs only.

Follow-up to #1, which merged before this commit landed on the branch. Records three things that cost time while seeding the tracker and would cost it again: `fj wiki` does not infer the repo from the git remote, this wiki's branch is `main` rather than the `master` Forgejo usually defaults to (pushing to `master` reports success and shows nothing), and issues and PRs share one number counter. Docs only.

icub3d added 1 commit

2026-08-06 22:06:54 +00:00

docs: record the fj and Forgejo quirks found while seeding the tracker 54c81a73a6

Three things cost time and would cost it again: `fj wiki` does not infer the
repo from the remote, the wiki branch here is `main` rather than the usual
`master` (pushing to `master` looks successful and shows nothing), and issues
and PRs share one number counter.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>

icub3d merged commit 08b955af12 into main

2026-08-06 22:20:50 +00:00

icub3d referenced this pull request from a commit

2026-08-06 22:20:51 +00:00

Merge pull request 'docs: record the fj and Forgejo quirks found while seeding the tracker' (#14) from docs-fj-quirks into main

icub3d deleted branch docs-fj-quirks

2026-08-06 22:21:17 +00:00