push-to-github
Runs all necessary checks (lint, tests) and pushes to GitHub. Use this as the final safety gate.
Datos de origen
- Repositorio
- google/ground-android
- Última actividad en el origen
- 25 de agosto de 2026 a las 17:44
- Idioma detectado de SKILL.md
- inglés
- Estrellas
- 297
- Forks
- 150
Opciones de instalación
De forma predeterminada está seleccionado el prompt que primero revisa el origen. Puedes cambiar a un comando directo o descargar una copia local.
Revisa los archivos de origen
Lee SKILL.md y los archivos complementarios que muestra SkillsMP antes de decidir si quieres instalarlo.
Explorador de archivos
2 archivosMostrando SKILL.md
SKILL.md
Instrucciones de origen · Vista previa de solo lectura- 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
```
Ver en GitHub