Push to GitHub

google/push to github

Runs all necessary checks (lint, tests) and pushes to GitHub. Use this as the final safety gate.

459 tokens

context cost

the whole folder, loaded on every use

files

ships runnable scripts

copies elsewhere

how many repositories repackaged it

291

stars on the repo

on the repository, not the skill itself

Install

one command, takes just this skill from the repository

npx skills add https://github.com/google/ground-android --skill Push to GitHub

1 348 bytes besides the instruction

scripts/push.py

3 sections, as written by the author

Use this skill when you are ready to push your changes to the remote repository. It acts as a safety gate to prevent breaking CI.

python3 .agent/skills/push_to_github/scripts/push.py

Copy the folder

Take google/push to github from the repository into ~/.claude/skills for personal use, or into .claude/skills inside a project.

Check the name does not clash

The agent identifies a skill by the name field in its header. Two skills with the same name cannot sit side by side — one of them will be ignored.