creating-pull-requests
GitHub पर उचित लेबल, शाखा नामकरण और विवरण स्वरूपण के साथ एक ड्राफ्ट पुल रिक्वेस्ट बनाता है। इसका उपयोग तब करें जब परिवर्तन PR के रूप में सबमिट करने के लिए तैयार हों...
npx skills add https://github.com/streamlit/streamlit --skill creating-pull-requestsCreate pull request
Read wiki/pull-requests.md first. It defines branch names, commit messages, PR titles, descriptions, labels, and the testing plan. Write the title and description following the /reviewing-pr-description skill.
Be fully autonomous. Don't ask for confirmation. Leave any open questions as a PR comment.
1. Prepare the branch
- If on
develop, create a branch named{type}/{brief-description}. - Commit any remaining changes that belong to this PR (skip unrelated or scratch files) with a
<imperative verb> <what> <where>message, usinguv run git commitso the pre-commit hooks run. - Push:
uv run git push -u origin HEAD.
2. Compose the PR
- Title:
[type] Description of change, ≤63 chars. - Body: Fill in the sections of
.github/pull_request_template.md. Add- Closes #12345for issues this PR resolves. In the Testing Plan, keep the bullets for the test types the changed test files cover (or explain why no tests are needed), and leave "Any manual testing needed?" for the user. - Labels: Set one
change:*label and oneimpact:*label (impact:usersorimpact:internal).change:specPRs skipimpact:*. Don't setfeature:*orarea:*labels; those belong on issues.
3. Create the PR
Check first whether a PR already exists with gh pr view. If one does, don't create a new PR. Update its title, description, or labels only where they no longer match the changes. Otherwise, run gh pr create --base develop with the title, body, and labels. Only add --draft if the user asks for a draft PR.