chore: strip the comments this branch added

Removes every comment introduced on this branch: website/ in full, pages.yml in full, and only the blocks added to ci.yml and release.yml — their pre-existing comments are untouched. Two directives survive because they are load-bearing rather than prose: the triple-slash vite/client reference, and nothing else. Two comments were carrying behaviour that the code did not state, so the code now states it. useCopy's rejection handler clears the copied flag instead of sitting empty, and writeTheme returns whether the write actually landed instead of swallowing the failure in a bare catch. isExternal drops its regex for two startsWith calls, which reads the same and no longer hides a `//` inside a literal.
2026-07-25 01:29:55 +02:00
parent ba92e75fd3
commit c2dd227cee
45 changed files with 20 additions and 518 deletions
@@ -2,12 +2,6 @@ name: CI

 # Branch pushes are covered by the pull_request trigger. Listening to both for
 # every branch ran the whole matrix twice per PR.
-#
-# website/ holds the GitHub Pages site and no Rust. Ignoring it here must stay
-# in lockstep with the same list in release.yml: the two skip together, so the
-# release ci-gate never waits for a CI run that was never queued. Deliberately
-# not applied to pull_request — CI is a required check there, and a skipped
-# required check leaves the PR permanently unmergeable.
 on:
  push:
    branches: [master]