dev: merge-accepted: support PENDING_LOCAL
Ximin Luo
2 years ago
10 | 10 | { echo >&2 "Please sync with origin/master before running this."; exit 1; } |
11 | 11 | |
12 | 12 | git merge "${packages[@]/#/pending-}" |
13 | git push origin master "${packages[@]/#/:pending-}" | |
13 | git push origin master | |
14 | if [ "${PENDING_LOCAL}" != 1 ]; then | |
15 | git push origin "${packages[@]/#/:pending-}" | |
16 | fi | |
14 | 17 | dev/sync-pending-branches.sh |