You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: AGENTS.md
+11-3Lines changed: 11 additions & 3 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -618,17 +618,23 @@ Immediately after creating any new Java source file, add the signature comment (
618
618
619
619
* Branch names: start with `GH-XXXX` (GitHub issue number). Optional short slug, e.g., `GH-1234-trig-writer-check`.
620
620
* Commit messages: `GH-XXXX <short imperative summary>` on every commit.
621
+
* If no GitHub issue number was provided, do **not** block progress by asking for one — use `GH-0000` and explicitly call this out in your final summary/handoff.
622
+
* If the current branch name already starts with `GH-XXXX-...` and the user did not provide an issue number, reuse that `GH-XXXX` prefix for any branch/commit labeling in this task.
621
623
622
624
---
623
625
624
626
## Branch & PR Workflow (Agent)
625
627
626
-
* Confirm issue number first (mandatory).
628
+
* Determine the `GH-XXXX` label (in priority order):
629
+
* If the user provided an issue number, use it.
630
+
* Else, if the current git branch name starts with `GH-XXXX-...`, reuse that prefix.
631
+
* Else, use `GH-0000` and note the missing issue number in the final summary/handoff.
632
+
* Do not interrupt feature work to ask for an issue number; complete the request first, then apply the best-available `GH-XXXX` label when/if branching/committing is needed.
627
633
* Branch: `git checkout -b GH-XXXX-your-slug`
628
634
* Stage: `git add -A` (ensure new Java files have the required header).
* Push & PR: use the default template; fill all fields; include `Fixes #XXXX`.
637
+
* Push & PR: use the default template; fill all fields; include `Fixes #XXXX` when an issue exists (if using `GH-0000`, omit `Fixes #...` and note the missing issue number in the final summary/handoff).
632
638
633
639
---
634
640
@@ -911,7 +917,9 @@ rdf4j: root project
911
917
912
918
* Branch names must always start with the GitHub issue identifier in the form `GH-XXXX`, where `XXXX` is the numeric issue number.
913
919
* Every commit message must be prefixed with the corresponding `GH-XXXX` label.
914
-
* Exception: if no GitHub issue number is available for the task, clearly note this in your handoff and align with the requester on an appropriate branch/commit prefix before proceeding.
920
+
* Exception (no issue number available):
921
+
* Prefer reusing the current branch prefix if it already starts with `GH-XXXX-...`.
922
+
* Otherwise, use `GH-0000` and explicitly mention the missing issue number in the final summary/handoff.
0 commit comments