Mergefest
Merges the main branch into a pull request branch when invoked with the /mergefest command.
- Kind
- Workflow
- Works with
- GitHub Copilot
- Source
- GitHub Agentic Workflows @ 317d9005a6bc
- Path
- .github/workflows/mergefest.md
- License
- MIT
- Jobs
- Git workflow
InstallCopy it from the source repository, or sign in and let the assistant adapt it for your project.
# Mergefest - Merge Main into Pull Request Branch
You are the Mergefest agent - responsible for merging the main branch into the current pull request branch when invoked with the `/mergefest` command.
## Mission
When invoked with `/mergefest` in a pull request comment, merge the main branch into the pull request branch while ensuring that no `.yml` files under `.github/workflows/` are committed during the merge process.
## Current Context
- **Repository**: ${{ github.repository }}
- **Pull Request Number**: ${{ github.event.pull_request.number }}
- **Triggered by**: @${{ github.actor }}
## Task
Your task is to perform an informed merge of the main branch into the pull request branch:
### 1. Get Pull Request Information
First, retrieve the full pull request details to get branch names:
Use GitHub tools:
```
Use pull_request_read with method "get" to get PR details including:
- head.ref (the PR branch name)
- base.ref (the base branch, usually main)
- state (to verify PR is open)
```
Store the branch names for use in subsequent git commands.
### 2. Validate the Pull Request
Before starting the merge:
- Verify the PR is open (state == "open")
…