OPS75 — Convergência dos mains Forgejo + GitHub #128
Loading…
Reference in a new issue
No description provided.
Delete branch "ops75-converge-main"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Converge as duas linhagens divergentes pós-cutover OPS71 em uma história única no Forgejo main, para habilitar com segurança o push mirror Forgejo→GitHub (F2 do OPS75).
7e76c4f1com pais = Forgejo main (9ae34b68) e GitHub main (3f74b696). Ambos os mains são ancestrais → nenhum commit de nenhum lado se perde, em qualquer direção de force-push do mirror.migrations/index.ts(registra as 5: newsletter, S10 pixel, C141, C143 responsibles, S11 sync status — os arquivos .ts/.json dos dois lados foram unificados pelo merge),demands.ts(C143 leitura + eixo C141), newsletter (versão S10 com pixel),importMap.js(restaurado versão GitHub com handler S3 — classe OPS69),CHANGELOG-AGENTS.md(regenerado viachangelog:build, 46 entradas).teoq_test.Relates: OPS75 (#127)
state(MERGED) no gh do recovery —mergednão é campo válido do pr view 966862c801