Skip to content

[pull] main from github:main#87

Merged
pull[bot] merged 9 commits into
RadaofTheLight:mainfrom
github:main
May 4, 2026
Merged

[pull] main from github:main#87
pull[bot] merged 9 commits into
RadaofTheLight:mainfrom
github:main

Conversation

@pull
Copy link
Copy Markdown

@pull pull Bot commented May 4, 2026

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )

joehart2001 and others added 9 commits May 3, 2026 19:00
Posts a sticky maintainer-facing comment on PRs that touch topic or
collection pages. For topic PRs: repo count for the topic. For
collection PRs: per-item stars, last push, owner type, and a
self-submission flag.

Edit-in-place via marker comment, so synchronize/reopen events update
the same comment instead of stacking.

Reads PR head content via repos.getContent at pr.head.sha rather than
checking out the fork (avoids the issues addressed in #5094 by
sidestepping checkout entirely).
Replaced by .github/workflows/explore-triage-commenter.yml in the
preceding commit. The original commenter has been disabled (paths
gated to ENOSUCHPATH) since it failed on fork PRs due to permissions
on the pull_request trigger; the replacement uses pull_request_target
and reads PR head content via the API instead of checking out, which
sidesteps the issue entirely.
ci: replace disabled topic-commenter with explore-triage-commenter
@pull pull Bot locked and limited conversation to collaborators May 4, 2026
@pull pull Bot added the ⤵️ pull label May 4, 2026
@pull pull Bot merged commit c42e5bd into RadaofTheLight:main May 4, 2026
8 of 9 checks passed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants