Skip to content

Commit 55bed0f

Browse files
authored
Update pull request instructions in SKILL.md
Clarified instructions for creating a new pull request and emphasized the importance of branch naming.
1 parent 34a8006 commit 55bed0f

1 file changed

Lines changed: 5 additions & 3 deletions

File tree

.github/skills/new-pull-request/SKILL.md

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -7,9 +7,11 @@ clear, kind, tested, type-hinted, mergeable contribution.
77

88
## How to run this skill
99

10-
Make sure that the local `master` branch is synced with `upstream/master` and
11-
then create a new branch for the pull request. Pull request changes must not
12-
be on the `master` branch.
10+
Make sure that the local `master` branch is synced with `upstream/master` before
11+
creating a new pull request.
12+
13+
Create a new clearly named branch for the pull request. Pull request changes must
14+
not be made or submitted on the `master` branch.
1315

1416
Never modify the `uv.lock` file because the `algorithms-keeper` bot will close
1517
the pull request as invalid. Even a repo maintainer cannot undo this.

0 commit comments

Comments
 (0)