Phased push
repository_manager_phased_pushPush git repositories in phases by automatically starting at the lowest phase with unpushed work and skipping waits for unchanged upstream phases.
Instructions
Execute the phased git push workflow.
auto_start (the default) begins the push at the lowest phase that has
a repo with unpushed work (advancing start_phase forward, never
backward), skipping the inter-phase waits of unchanged upstream phases.
It stands down — pushing from the explicit start_phase — when
project_filter is set, since that is an explicit-targeting request.
Pass auto_start=False to opt out and always start at start_phase.
Concept: CONCEPT:RM-PUSH
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| config | No | ||
| progress | No | ||
| auto_start | No | ||
| start_phase | No | ||
| single_phase | No | ||
| project_filter | No |