Skip to content

Carry the merge bot so Dependabot pull requests can merge - #4

Merged
ptr727 merged 1 commit into
developfrom
feature/carry-merge-bot
Aug 1, 2026
Merged

Carry the merge bot so Dependabot pull requests can merge#4
ptr727 merged 1 commit into
developfrom
feature/carry-merge-bot

Conversation

@ptr727

Copy link
Copy Markdown
Owner

.github/dependabot.yml is a baseline file for every fleet repo, and merge-bot-pull-request.yml is what services what it opens. This repo carried the first without the second, so bot pull requests had no way to merge and #1 was already sitting open.

Two jobs vendored:

  • merge-dependabot, auto-merge on opened/reopened, method by base (develop -> squash, main -> merge commit) matching what each ruleset allows.
  • disable-auto-merge-on-maintainer-push, so a maintainer's commits do not merge along with the bot's.

Dropped: the codegen and upstream-version jobs. This repo has neither, and a job keyed on a bot login that never opens a pull request here would be dead code that reads as coverage.

Every tier auto-merges, semver-major included, because the required checks are the gate rather than the size of the bump.

Comments are rewritten to one sentence per line, since the upstream copy is block-prose, which is the shape the comment rule forbids.

Clears the corresponding residual delta in reports/Blog/audit.md and the open decision in TODO.md.

Note on why this was missing.spec/files.json does not list merge-bot-pull-request.yml for any project type, while WORKFLOW.md D8.1 grades it and GOVERNANCE.md links to it as an in-repo path. Reported to ptr727/ProjectTemplate#456.

`.github/dependabot.yml` is a baseline file for every fleet repo, and
`merge-bot-pull-request.yml` is what services what it opens. This repo
carried the first without the second, so bot pull requests had no way to
merge and one was already sitting open.
Two jobs are vendored: auto-merge on opened or reopened, and disable
auto-merge when a maintainer pushes to the bot's branch. The merge method
follows the base, squash for `develop` and a merge commit for `main`,
matching what each ruleset allows.
The codegen and upstream-version jobs are dropped. This repo has neither,
and a job keyed on a bot login that never opens a pull request here would
be dead code that reads as coverage.
Every tier auto-merges, semver-major included, because the required
checks are the gate rather than the size of the bump.
Comments are rewritten to one sentence per line. The upstream copy is
block-prose, which is the shape the comment rule forbids, and carrying it
verbatim would import a defect into a file this repo owns.
Clears the corresponding residual delta in `reports/Blog/audit.md` and
the open decision in `TODO.md`.
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>

CopilotAI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR vendors a GitHub Actions “merge bot” workflow so in-repo Dependabot pull requests can be automatically merged (and auto-merge can be disabled if a maintainer pushes commits), and then removes the corresponding “decision/todo” items from the repo’s tracking docs.

Changes:

  • Add .github/workflows/merge-bot-pull-request.yml with two jobs: enable auto-merge for Dependabot PRs on open/reopen, and disable auto-merge on maintainer pushes (synchronize by a non-bot actor).
  • Remove the previously-tracked “decide/carry merge-bot workflow” items from TODO.md and reports/Blog/audit.md.

Reviewed changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated no comments.

FileDescription
TODO.mdRemoves now-resolved merge-bot decision items.
reports/Blog/audit.mdClears the audit delta noting the missing merge-bot workflow.
.github/workflows/merge-bot-pull-request.ymlAdds the merge-bot workflow to auto-merge Dependabot PRs and disable auto-merge on maintainer pushes.

@ptr727
ptr727 merged commit 91a039b into developAug 1, 2026
3 checks passed
@ptr727
ptr727 deleted the feature/carry-merge-bot branch August 1, 2026 17:31
Sign up for freeto 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.

2 participants

@ptr727