Record this repository's forge-made merges in the delivery gate, so the indexer takes them in (issue 1966, recovery)

Browse Source

Merges made on the forge directly since 2026-11-09 07:04 UTC have no gate merge record,
and the indexer holds them; an empty merge through the gate covers this repository's head.
Second of its kind: the group's mesh-delivery member removes the need (the forge bridge
reads a forge-made merge's pull request from the forge).

Claude-Session: https://claude.ai/code/session_01NcbgfFSnn24M3GcqttoU7i

...

This commit is contained in:

jschoubben

2026-11-09 09:17:03 +01:00

parent 89cd8a2e8e

commit 80186d0798

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

Diff Content Not Available