push-to-github
Runs all necessary checks (lint, tests) and pushes to GitHub. Use this as the final safety gate.
Source facts
- Repository
- google/ground-android
- Last source activity
- August 25, 2026 at 17:44
- Detected SKILL.md language
- English
- Stars
- 297
- Forks
- 151
Install options
The review-first prompt is selected by default. You can switch to a direct command or download a local copy.
Review the source files
Read SKILL.md and any companion files shown by SkillsMP before deciding whether to install.
File Explorer
2 filesShowing SKILL.md
SKILL.md
Source instructions · Read-only preview- name
- Push to GitHub
- description
- Runs all necessary checks (lint, tests) and pushes to GitHub. Use this as the final safety gate.
# Push to GitHub
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.
## Usage
1. Verifies changes (Unit Tests).
2. Runs code checks (Lint/CheckCode).
3. Pushes to the current branch.
### Command
```bash
python3 .agent/skills/push_to_github/scripts/push.py
```
View on GitHub