From 5582546355289154bc036d8f1b00e49ffa3fb862 Mon Sep 17 00:00:00 2001 From: Bradley Dice Date: Thu, 12 Mar 2026 12:51:09 -0500 Subject: [PATCH] Add skill for pull requests --- .agents/skills/pull-requests/SKILL.md | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 .agents/skills/pull-requests/SKILL.md diff --git a/.agents/skills/pull-requests/SKILL.md b/.agents/skills/pull-requests/SKILL.md new file mode 100644 index 000000000..b7472e4bc --- /dev/null +++ b/.agents/skills/pull-requests/SKILL.md @@ -0,0 +1,14 @@ +--- +name: pull-requests +description: Open pull requests against rapidsai/rmm. Use when creating or editing PRs. +--- + +## Rules for pull requests +- Target `main` unless told otherwise. +- Always push branches to a user's fork of rapidsai/rmm, not to the upstream repository. +- PR descriptions should follow `.github/pull_request_template.md`. +- The PR title appears in the CHANGELOG; keep it concise. +- Every PR should reference an issue. + - Check for an issue first. + - If no issue exists, ask the user whether to create one. Suggest relevant context for the issue. + - If an issue exists or is created, mention it in the PR description like "Closes #1234."