push-to-github
Runs all necessary checks (lint, tests) and pushes to GitHub. Use this as the final safety gate.
Informations de source
- Dépôt
- google/ground-android
- Dernière activité de la source
- 25 août 2026 à 17:44
- Langue détectée de SKILL.md
- anglais
- Étoiles
- 297
- Forks
- 150
Options d'installation
Le prompt qui vérifie d'abord la source est sélectionné par défaut. Vous pouvez passer à une commande directe ou télécharger une copie locale.
Vérifiez les fichiers source
Lisez SKILL.md et les fichiers associés affichés par SkillsMP avant de décider de l'installer.
Explorateur de fichiers
2 fichiersAffichage de SKILL.md
SKILL.md
Instructions source · Aperçu en lecture seule- 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
```
Voir sur GitHub