d99ca307

By: Michael Lynch <git@mtlynch.io>

Push and pull all child repositories from dev-scripts

Move the reference push helper to dev-scripts/push-all-children and add
pull-all-children to switch each repository to master and pull from origin.
Both commands locate reference relative to the script rather than the
working directory. Pulls require fast-forward updates.

Total

34s

Time to Start Worker time Duration Time to finish Idle
Config 0s 1s 1s 2s 0s
Eval 2s 32s 32s 35s 0s
Build 31s 0s 4s 35s 0s
Suite 0s 34s 34s 35s 1s

Timeline

Config Eval Build
0s10s20s30s