| name | git-push |
| description | Prompt and workflow for pushing commits to the remote repository once a meaningful batch of commits has accumulated. Prevents excessive small pushes while keeping the remote branch reasonably up to date. |
Instructions
<description>
This skill pushes local commits to the configured remote branch after a
substantial number of commits have accumulated. The goal is to avoid
pushing every single commit while still keeping the remote repository
synchronised at sensible intervals.
</description>
Workflow
Follow these steps:
- Run
git status to confirm the working tree is clean.
- Run
git log origin/$(git rev-parse --abbrev-ref HEAD)..HEAD --oneline to list commits that have not yet been pushed.
- Count the number of commits ahead of the remote branch.
- If the number of commits is greater than or equal to the push threshold, proceed with the push.
- If the threshold has not been reached, do nothing and continue committing normally.
- When the threshold is reached, Copilot will automatically execute the push command in the integrated terminal.
Push Threshold
<threshold>
<commits>5</commits>
<description>
Push once 5 or more commits exist locally that have not yet been pushed
to the remote branch. This helps group related changes into a single push.
</description>
</threshold>
Push Command
<push-command>
<cmd>git push origin $(git rev-parse --abbrev-ref HEAD)</cmd>
</push-command>
Safety Checks
<safety>
<working-tree>
Ensure the working tree is clean before pushing.
</working-tree>
<remote>
Confirm that a remote named "origin" exists.
</remote>
<diverged-branch>
If the branch has diverged from origin, perform a pull with rebase before pushing.
</diverged-branch>
</safety>
Examples
<examples>
<example>
Local commits ahead of origin: 2
Action: Do not push yet.
</example>
<example>
Local commits ahead of origin: 5
Action: Push commits to origin.
</example>
<example>
Local commits ahead of origin: 8
Action: Push commits to origin.
</example>
</examples>
Final Step
<final-step>
<cmd>git push origin $(git rev-parse --abbrev-ref HEAD)</cmd>
<note>
Executed automatically once the commit threshold is met.
</note>
</final-step>
Behaviour Summary
<behaviour>
<rule>
Do not push after every commit.
</rule>
<rule>
Push when at least the defined commit threshold has accumulated.
</rule>
<rule>
Always verify the branch and working tree state before pushing.
</rule>
</behaviour>
