Skip to content

ci: stop the mirror workflow from cross-referencing upstream PRs - #11

Merged
andrii-solokh merged 2 commits into
mainfrom
fix/mirror-no-upstream-cross-reference
Jun 23, 2026
Merged

ci: stop the mirror workflow from cross-referencing upstream PRs#11
andrii-solokh merged 2 commits into
mainfrom
fix/mirror-no-upstream-cross-reference

Conversation

@andrii-solokh

@andrii-solokh andrii-solokh commented Jun 23, 2026

Copy link
Copy Markdown

Stops the Mirror Upstream PRs workflow from posting cross-reference events on upstream (jongpie/NebulaLogger) PRs. The upstream maintainer was getting tagged on every mirrored PR. There were two distinct sources.

Before

1. Mirror PR body — mentioned this pull request

The body embedded the upstream PR URL as plain text:

Mirrors upstream PR https://github.com/jongpie/NebulaLogger/pull/995 so the fork's LATdx Build pipeline runs against it.

GitHub autolinks a bare issue/PR URL and posts a mentioned event on the upstream PR (once per mirror).

2. Overlay commit subject — pushed a commit that referenced this pull request (the flood)

The CI-overlay commit subject embedded #${n}:

ci: overlay fork CI for upstream PR #995

In a fork, GitHub resolves a #N that does not exist locally against the parent repo (renders as jongpie#995). Every force-pushed overlay commit (new SHA per re-mirror) posted a pushed a commit that referenced this pull request event on the upstream PR. This is the bulk of the noise.

After

1. URL wrapped in an inline-code span — GitHub does not link or cross-reference URLs inside code spans:

Mirrors upstream PR `https://github.com/jongpie/NebulaLogger/pull/995` so the fork's LATdx Build pipeline runs against it.

2. # dropped from the overlay commit subject (now matches the branch name) — no autolink, no cross-reference:

ci: overlay fork CI for upstream-pr-995

Both stay readable; neither emits a timeline event upstream.

Note: this stops all future cross-references. The events already posted on upstream PRs are permanent GitHub timeline entries and cannot be removed by us or the maintainer.

The mirror workflow wrote each fork PR body with the raw upstream PR URL as plain text. GitHub parses a bare issue/PR URL and posts a cross-referenced timeline event on the upstream PR, notifying the upstream maintainer on every mirrored PR. Wrap the URL in an inline-code span so GitHub no longer links it or emits a cross-reference, while keeping it readable and copyable.
@andrii-solokh andrii-solokh added the bug Something isn't working label Jun 23, 2026
…g upstream

The overlay commit subject embedded `#${n}`. In a fork, GitHub resolves a `#N` that does not exist locally against the parent repo, so every force-pushed overlay commit posted a 'pushed a commit that referenced this pull request' event on the upstream PR. Drop the `#` (use `upstream-pr-${n}`, matching the branch name) so the subject no longer autolinks.
@andrii-solokh andrii-solokh changed the title ci: stop mirror PR bodies from cross-referencing upstream PRs ci: stop the mirror workflow from cross-referencing upstream PRs Jun 23, 2026
@andrii-solokh
andrii-solokh merged commit 2111c39 into main Jun 23, 2026
9 of 10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant