Skip to content

Bridge external upstream synchronization requests - #45

Merged
github-actions[bot] merged 1 commit into
mainfrom
agent/bridge-upstream-sync-requests
Jul 29, 2026
Merged

Bridge external upstream synchronization requests#45
github-actions[bot] merged 1 commit into
mainfrom
agent/bridge-upstream-sync-requests

Conversation

@ranade-oss

Copy link
Copy Markdown
Owner

What changed

  • adds a small request-triggered dispatcher for the medium/high-risk Mike synchronization queue;
  • uses the existing docs/upstream-sync-request.json marker already used to start low-risk intake;
  • lets an external GitHub App bridge restart both queues after a synchronization PR merges, even when the repository disallows github-actions[bot] from creating pull requests.

Safety

The workflow has only Actions write and repository read permissions. It cannot change code, create pull requests, merge, deploy, or access secrets. Existing classification, patch validation, Baseline, review, draft, and merge gates remain authoritative.

@github-actions
github-actions Bot merged commit ea98285 into main Jul 29, 2026
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant