diff options
| author | Craig Jennings <c@cjennings.net> | 2026-05-16 01:39:02 -0500 |
|---|---|---|
| committer | Craig Jennings <c@cjennings.net> | 2026-05-16 01:39:02 -0500 |
| commit | 7121a88f2a2831c83eb7d34f347c725ae572cfc5 (patch) | |
| tree | f44648676e3df975e91b0efbc9c99a30db9b1b13 /scripts/diff-lang.sh | |
| parent | 8209c5f264c76cba052f4f9710fb86ed56f19903 (diff) | |
| download | rulesets-7121a88f2a2831c83eb7d34f347c725ae572cfc5.tar.gz rulesets-7121a88f2a2831c83eb7d34f347c725ae572cfc5.zip | |
docs(workflows): generalize wrap-it-up push parenthetical
The Step 4 "Push to all remotes" parenthetical singled out "github.com + cjennings.net mirrors" as the canonical case. Accurate for rulesets and a few other repos, misleading for the rest. Most projects have git.cjennings.net as their sole remote, and DeepSat lives on deepsat.ghe.com. The push loop itself (for r in $(git remote)) is already remote-agnostic; the prose just needed to catch up.
New wording covers both the mirror case and the different-audience-per-remote case without naming any specific host.
Diffstat (limited to 'scripts/diff-lang.sh')
0 files changed, 0 insertions, 0 deletions