aboutsummaryrefslogtreecommitdiff
path: root/scripts/push-repo-mirrors.bash
Commit message (Collapse)AuthorAgeFilesLines
* Revert default branch update and curl changesAlex Pooley (@zuedev)2026-05-071-17/+0
|
* add curl and make error betterAlex Pooley (@zuedev)2026-05-071-3/+5
|
* Update the GitHub repo's default branch to match the local HEAD before mirroringAlex Pooley (@zuedev)2026-05-071-0/+15
|
* surface mirror push errorAlex Pooley (@zuedev)2026-05-071-1/+1
|
* add locking mechanism to prevent concurrent script executionAlex Pooley (@zuedev)2026-05-071-0/+8
|
* strip the https:// prefix from the stored URL before constructing the ↵Alex Pooley (@zuedev)2026-05-071-1/+2
| | | | authenticated push URL
* enhance mirror script with jqAlex Pooley (@zuedev)2026-05-071-3/+4
|
* add mirroring functionalityAlex Pooley (@zuedev)2026-05-071-0/+49