GitHub
mark-high-priority
Add the high-priority label to a PR so merge-queue automation yields to it. Use when a PR needs to bypass normal queue yielding for urgent fixes or time-sensitive deployments.
☆ 0View skill
a2f0 AI Skills
GitHub ↗Browse published AI skills maintained by a2f0. Compare skill descriptions and follow each source repository for setup instructions.
Author statistics
Indexed skills
3Repository stars across indexed skills
0Repository forks
0Average repository stars per indexed skill
0Repository stars may repeat across skills from the same repository.
Popular categories
Recent indexing activity
Browse skills
GitHub
enter-merge-queue
Guarantee a PR merges by repeatedly rebasing from the base branch, fixing CI, addressing Gemini review feedback, enabling auto-merge, and waiting until the PR is merged. Use when you are asked to babysit a PR t...
☆ 0View skill
GitHub
commit-and-push
Commit staged changes and push to the remote using conventional commits with GPG signing. Use when you need to commit and push work, create a PR if missing, and wait for Gemini review before addressing feedback...
☆ 0View skill
The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.