dejima and dejima-ci-hardener have both moved out of the personal namespace into a dejima organization, so every link into either one was a path segment wrong: four to dejima-ci-hardener, one to this repository's own issue #97.
Gitea redirects the old paths, so none of these were broken. They were only lying about where the thing lives — which is the kind of stale that survives indefinitely, because nothing ever fails to draw attention to it.
Only the organization segment changes. The host stays gitbox.branderson.io, which is what a reader resolves.
Nothing in the code had to change
No file under bin/, test/ or .gitea/ referenced the old owner. The forge CLIs read owner and repo out of the git remote rather than from anything committed, which is why moving a repository does not require a code change to keep gitea-pr and friends working — and why this PR is documentation only.
The git remote itself has been repointed at dejima/dejima, and this branch was pushed through it, so that path is confirmed live rather than assumed.
Testing
364 green across static, config, providers. runtime.bats not run: no Docker in a dejima sandbox, and nothing here touches it.
Both this and #101 touch docs/ci.md, on different lines — #101 changes a runs-on: label in prose, this changes the hardener URLs. They merge cleanly in either order; whichever goes second may want a rebase for tidiness rather than for correctness.
**Summary generated by LLM agent**
dejima and dejima-ci-hardener have both moved out of the personal namespace into a `dejima` organization, so every link into either one was a path segment wrong: four to dejima-ci-hardener, one to this repository's own issue #97.
Gitea redirects the old paths, so none of these were broken. They were only lying about where the thing lives — which is the kind of stale that survives indefinitely, because nothing ever fails to draw attention to it.
| | |
| --- | --- |
| `README.md` | 2 links to dejima-ci-hardener |
| `docs/ci.md` | 2 links to dejima-ci-hardener |
| `docs/configuration.md` | 1 link to issue #97 |
Only the organization segment changes. The host stays `gitbox.branderson.io`, which is what a reader resolves.
## Nothing in the code had to change
No file under `bin/`, `test/` or `.gitea/` referenced the old owner. The forge CLIs read owner and repo out of the git remote rather than from anything committed, which is why moving a repository does not require a code change to keep `gitea-pr` and friends working — and why this PR is documentation only.
The git remote itself has been repointed at `dejima/dejima`, and this branch was pushed through it, so that path is confirmed live rather than assumed.
## Testing
364 green across `static`, `config`, `providers`. `runtime.bats` not run: no Docker in a dejima sandbox, and nothing here touches it.
## Note on #101
Both this and #101 touch `docs/ci.md`, on different lines — #101 changes a `runs-on:` label in prose, this changes the hardener URLs. They merge cleanly in either order; whichever goes second may want a rebase for tidiness rather than for correctness.
Both repositories moved out of the personal namespace and into a `dejima`
organization, so every link into either one is now one path segment wrong:
four to dejima-ci-hardener and one to this repository's own issue #97.
Gitea redirects an old path, so none of these were broken. They were merely
lying about where the thing lives, which is the kind of stale that survives
indefinitely because nothing fails.
Only the organization segment changes. The host stays `gitbox.branderson.io`,
which is the name a reader resolves; the git remote uses the internal
`gitbox.bradina.localdomain` and is not a documentation concern.
Nothing in `bin/`, `test/` or the workflow hardcoded the old owner, so this is
documentation only. The forge CLIs read owner and repo out of the git remote
rather than from anything committed here, which is why moving a repository
does not require a code change to keep them working.
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
Summary generated by LLM agent
dejima and dejima-ci-hardener have both moved out of the personal namespace into a
dejimaorganization, so every link into either one was a path segment wrong: four to dejima-ci-hardener, one to this repository's own issue #97.Gitea redirects the old paths, so none of these were broken. They were only lying about where the thing lives — which is the kind of stale that survives indefinitely, because nothing ever fails to draw attention to it.
README.mddocs/ci.mddocs/configuration.mdOnly the organization segment changes. The host stays
gitbox.branderson.io, which is what a reader resolves.Nothing in the code had to change
No file under
bin/,test/or.gitea/referenced the old owner. The forge CLIs read owner and repo out of the git remote rather than from anything committed, which is why moving a repository does not require a code change to keepgitea-prand friends working — and why this PR is documentation only.The git remote itself has been repointed at
dejima/dejima, and this branch was pushed through it, so that path is confirmed live rather than assumed.Testing
364 green across
static,config,providers.runtime.batsnot run: no Docker in a dejima sandbox, and nothing here touches it.Note on #101
Both this and #101 touch
docs/ci.md, on different lines — #101 changes aruns-on:label in prose, this changes the hardener URLs. They merge cleanly in either order; whichever goes second may want a rebase for tidiness rather than for correctness.