Skip to main content

push-to-github

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

Informações da origem

Repositório
google/ground-android
Última atividade na origem
25 de agosto de 2026 às 17:44
Idioma detectado do SKILL.md
inglês
Estrelas
297
Forks
151

Opções de instalação

Por padrão, está selecionado o prompt que primeiro revisa a origem. Você pode mudar para um comando direto ou baixar uma cópia local.

Revise os arquivos de origem

Leia o SKILL.md e os arquivos complementares exibidos pelo SkillsMP antes de decidir se vai instalar.

Explorador de arquivos
2 arquivos

Exibindo SKILL.md

SKILL.md
Instruções da origem · Visualização somente leitura
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 no GitHub