test: harden GitHub source warning #120

Merged
barrettruth merged 1 commit from harden-github-source-warning into main 2026-05-04 22:12:20 +00:00
Owner

Summary

  • verify the GitHub-source migration warning writes a timestamped Neovim state marker
  • verify repeated startup and pre-existing marker cases stay quiet after the first warning
  • verify Forgejo-origin installs do not warn

Audit notes

  • The runtime warning path already existed on main; this PR locks down the system-state one-warning contract before GitHub becomes a mirror.
  • Remaining GitHub references are intentional migration text, the GitHub mirror PR redirect workflow, the product-level GitHub-flavored Markdown preset, Nix flake inputs, and one README video attachment hosted on github.com/user-attachments.

Verification

  • nix develop .#ci --command just format
  • nix develop .#ci --command just lint
  • nix develop .#ci --command just test
## Summary - verify the GitHub-source migration warning writes a timestamped Neovim state marker - verify repeated startup and pre-existing marker cases stay quiet after the first warning - verify Forgejo-origin installs do not warn ## Audit notes - The runtime warning path already existed on main; this PR locks down the system-state one-warning contract before GitHub becomes a mirror. - Remaining GitHub references are intentional migration text, the GitHub mirror PR redirect workflow, the product-level GitHub-flavored Markdown preset, Nix flake inputs, and one README video attachment hosted on github.com/user-attachments. ## Verification - nix develop .#ci --command just format - nix develop .#ci --command just lint - nix develop .#ci --command just test
test: harden GitHub source warning
All checks were successful
quality / Test (pull_request) Successful in 5s
quality / Lint (pull_request) Successful in 5s
quality / Format (pull_request) Successful in 9s
cc4790e6bd
barrettruth force-pushed harden-github-source-warning from cc4790e6bd
All checks were successful
quality / Test (pull_request) Successful in 5s
quality / Lint (pull_request) Successful in 5s
quality / Format (pull_request) Successful in 9s
to 3fdeb4ce91
All checks were successful
quality / Test (pull_request) Successful in 5s
quality / Lint (pull_request) Successful in 6s
quality / Format (pull_request) Successful in 9s
2026-05-04 22:07:01 +00:00
Compare
barrettruth force-pushed harden-github-source-warning from 3fdeb4ce91
All checks were successful
quality / Test (pull_request) Successful in 5s
quality / Lint (pull_request) Successful in 6s
quality / Format (pull_request) Successful in 9s
to abfbd8a8a5
All checks were successful
quality / Lint (pull_request) Successful in 5s
quality / Test (pull_request) Successful in 7s
quality / Format (pull_request) Successful in 8s
2026-05-04 22:11:46 +00:00
Compare
barrettruth deleted branch harden-github-source-warning 2026-05-04 22:12:20 +00:00
Sign in to join this conversation.
No description provided.