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
Update "get comments" skill to also fetch code comments (#3499)
* Move fetching PR comments to a skill
* Update agent skills and guidelines
* Add missing copyright headers
* Update fetch_pr_comments skill to support code comments and improve formatting
Also fixed a bug in push_to_github skill where it referenced a non-existent gradle task.
* chore: fix exit code in fetch_comments.py
* chore: update push skill to run checkCode instead of lintLocalDebug
* chore: fix push skill to use root checkCode task
Copy file name to clipboardExpand all lines: .agent/skills/fetch_pr_comments/SKILL.md
+8-4Lines changed: 8 additions & 4 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -5,7 +5,7 @@ description: Fetches comments and reviews from the current GitHub Pull Request a
5
5
6
6
# Fetch PR Comments
7
7
8
-
This skill allows you to retrieve comments and reviews from the current GitHub Pull Request (PR) associated with the active branch. It converts the data into a readable Markdown format, making it easier to analyze feedback.
8
+
This skill allows you to retrieve comments and reviews from the current GitHub Pull Request (PR) associated with the active branch, or a specific PR by number/URL. It converts the data into a readable Markdown format, including code review comments with file and line context.
9
9
10
10
## Usage
11
11
@@ -14,16 +14,20 @@ To use this skill, run the provided Python script. It requires the GitHub CLI (`
0 commit comments