finalizing-pr
A contributor skill in the Streamlit repository that takes a branch to a pull request ready to merge without stopping for confirmation; open questions go into a pull request comment instead.
What the skill teaches
A contributor skill in the Streamlit repository that takes a branch to a pull request ready to merge without stopping for confirmation; open questions go into a pull request comment instead. The agent builds and installs, updates internal docs, simplifies the changes, runs autofix and checks, has a reviewer subagent look at the diff and applies the useful suggestions, then runs the checks again with changed end-to-end tests. It creates or updates the pull request with the GitHub CLI and uploads any specs or plans. It then loops up to five times: adding a label that triggers an AI review, waiting for CI and fixing failures, and stopping once the review approves, before a final review round.
Capabilities
- Build, simplify and check a branch before merging
- Create or update the pull request
- Trigger AI reviews with pull request labels
- Fix CI failures until the review approves
About
- Publisher
- Streamlit
- Tool
- GitHub
Install
The project doesn't document install steps that we could confirm. See the project's own instructions
MCP servers and skills can run code on your computer and act on your data. Review the source before installing.
Details
| Fact | Value | Source |
|---|---|---|
| Type | Skill | |
| Tool | GitHub | |
| Publisher | Streamlit | source |
| Official status | Community (not published by the tool's vendor) | source |
| Needs an API key or sign-in | Not stated in its documentation | |
| Includes scripts | No | source |
| Platforms | Not stated in its documentation | |
| AI clients | Not stated in its documentation | |
| Licence | Apache-2.0 | source |
| Pricing | Not stated in its documentation | |
| Activity | Last commit Nov 11, 202646,309 GitHub starsDownload data not available (not on npm or PyPI) | source |
| Links | Repository Website |
Sources
- Skill file (SKILL.md)github.com/streamlit/streamlit · Backs: Official statusNov 10, 2026
- GitHub repositorygithub.com/streamlit/streamlit · Backs: Publisher, Activity, LicenceNov 11, 2026
- Folder in the repository (finalizing-pr)github.com/streamlit/streamlit · Backs: Includes scriptsNov 10, 2026