Loading…
Pushes the ticket's commits with `gg do push`. Use when the user says "/gg-push" or asks to push the current ticket.
gg-push is an agent skill entry in ChatHome Skills, sourced from GitHub Skill Search and scored 58/100. # Push From the ticket folder: ```bash gg do push ``` `gg do push` pushes the repos of the ticket in dependency order and refuses repos that still carry uncommi. As an agent skill, it packages a reusable instruction set that AI coding agents such as Codex and Claude Code can load to perform this task without hand-written glue code. ChatHome Skills discovered this entry through its daily ingest of official registries and GitHub discovery queries, and re-verifies repository facts, freshness signals, and install metadata on every run. The quality score weighs official-registry presence, a working install command, license clarity, GitHub star trajectory, and repository freshness — the full formula is on the Sources page. The install command above is ready to copy. Review the last-pushed date and repository status before adding gg-push to a production agent workflow; the snapshot facts below are point-in-time values from the most recent ingest.
codex skill install ggsuite/dna_ggReview the upstream source before running this command.
Scan coverage: Install metadata and the indexed document body.
Automated signals from install metadata and a bounded skill body — not a full code security audit and not a recursive source or dependency review.
# Push From the ticket folder: ```bash gg do push ``` `gg do push` pushes the repos of the ticket in dependency order and refuses repos that still carry uncommitted work. If it rep