Skip to content

Commit 71c6f82

Browse files
authored
AGENTS: Instruct AI to use a recent Base PR for pull requests (JuliaLang#59369)
Our CI runs on the branch, not the merge commit so if we don't do this, CI results can be misleading, cf JuliaLang#59357 before I had Claude rebase it.
1 parent b36650b commit 71c6f82

File tree

1 file changed

+5
-5
lines changed

1 file changed

+5
-5
lines changed

AGENTS.md

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -97,7 +97,7 @@ make sure to take them into account.
9797
- Do not `ccall` runtime C functions directly if there are existing wrappers for the function.
9898
- Do not explicitly add a module prefix if the code you're adding is in the same module. E.g. do not use `Base.` for code in Base unless required.
9999

100-
## Commit message formatting
100+
## Commit messages and pull requests
101101

102102
When writing commit messages, follow the format "component: Brief summary" for
103103
the title. In the body of the commit message, provide a brief prose summary
@@ -109,7 +109,7 @@ If your change fixes one or more issues, use the syntax "Fixes #" at the end of
109109
When referencing external GitHub PRs or issues, use proper GitHub interlinking format (e.g., `owner/repo#123` for PRs/issues).
110110
When fixing CI failures, include the link to the specific CI failure in the commit message.
111111

112-
When creating pull requests, if the pull request consists of one commit only,
113-
use the body of the commit for the body of the pull request. If there are multiple
114-
commits in the pull request, follow the same guidelines for the pull request
115-
as for the commit body.
112+
When creating pull requests:
113+
1. If the pull request consists of one commit only, use the body of the commit for the body of the pull request.
114+
2. If there are multiple commits in the pull request, follow the same guidelines for the pull request as for the commit body.
115+
3. Make sure that the base commit of the pull request is recent (within the past two days) - if not rebase your changes first.

0 commit comments

Comments
 (0)