Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 2 additions & 4 deletions .agents/skills/open-pr/SKILL.md
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,6 @@ description: Verifies, commits, pushes and opens a pull request in testcontainer

Release Drafter turns PR titles into release notes and labels into the version bump (`.github/release-drafter.yml`). Titles and labels matter as much as the code.

Before committing, pushing or opening anything, get the user's approval of the diff, commit message, title and body (AGENTS.md).

## Before committing

- Branch from an up-to-date `main`.
Expand Down Expand Up @@ -64,7 +62,7 @@ Include:
- `Closes #<issue>`, only if the PR fully resolves that issue.

```bash
gh pr create --base main --title "<title>" --body "<body>" --label <type> --label <semver>
gh pr create --draft --base main --title "<title>" --body "<body>" --label <type> --label <semver>
```

Open it ready for review. Only open it as a draft if the user asks.
Open it as a draft. Drop `--draft` only if the user asks for a PR that is ready for review. Afterwards, give the user the PR link, title and labels so they can ask for changes.
5 changes: 4 additions & 1 deletion AGENTS.md
Original file line number Diff line number Diff line change
Expand Up @@ -117,7 +117,10 @@ reviewers can follow the reasoning.

## Git and GitHub

- Never commit, push, or post on GitHub without first sharing the proposed diff or content and getting explicit user approval. Posting includes issues, PRs, comments, reviews, labels, and closing or editing anything.
- Commit, push, or open a PR only when the user asks for it.
- Do only the steps asked for. "Commit this" is not a request to push or open a PR.
- Open PRs as drafts unless the user asks for one that is ready for review.
- Before doing anything on GitHub that affects someone else, share the proposed content and get explicit user approval. Examples: commenting on, reviewing, editing or pushing to someone else's PR, and commenting on, labelling or closing someone else's issue.
- This holds even when explicitly asked to review a PR: present the full set of comments first.
- Never bypass commit signing (for example `--no-gpg-sign`). If signing fails, stop and ask the user to resolve it.
- Ask for explicit permission before any force push.
Expand Down
Loading