Skip to content

Commit c62c5b9

Browse files
author
Lars Kruse
committed
updated the summary instructions - #18
1 parent 29bd34e commit c62c5b9

File tree

1 file changed

+4
-2
lines changed

1 file changed

+4
-2
lines changed

.github/instructions/summary.instructions.md

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -13,9 +13,11 @@ When in agent mode, and you are asked to create issues and comments to issues, p
1313

1414
## Read issue number from branch name
1515

16-
When agent mode and I ask to _annotate a comment on the current changeset to the issue_ you can always read the implied issue number from the current git branch - development branches are prefixed with an integer, and that is a reference to the issue being worked on. The branch name is part of the zsh prompt in the @terminal, and can be directly accessed; The `$PS1` is set up to show the branch name too (e.g. `vscode ➜ /workspaces/gh-tt (321-Update_summary_instructions) $` equals issue 321). Let summary serve as a work log note to future self and current colleagues. It should summarize the changes made in the branch we're working on since we left `main`.
16+
When in agent mode and you ask to _annotate a comment on the current changeset to the issue_, extract the issue number directly from the terminal prompt shown in the `@terminal` context. Development branches are formatted as `(ISSUE_NUMBER-branch_name)` in the zsh prompt. For example, the prompt `vscode ➜ /workspaces/gh-tt (321-Update_summary_instructions) $` indicates you're working on issue 321.
1717

18-
Equivalent to `git diff main...HEAD --name-status && git diff main...HEAD`.
18+
Extract the issue number (the integer before the first hyphen in the branch name shown in parentheses) without running additional git commands like `git branch --show-current`.
19+
20+
Let the summary serve as a work log note to future self and current colleagues. It should summarize the changes made in the branch we're working on since we left `main`, equivalent to `git diff main...HEAD --name-status && git diff main...HEAD`.
1921

2022
## Change set summary
2123

0 commit comments

Comments
 (0)