Allow multiple push mirrors (#97)

This commit is contained in:
Patrick Stevens
2024-09-22 16:19:46 +01:00
committed by GitHub
parent 0c394a0e69
commit 1662ef7695
6 changed files with 251 additions and 93 deletions

View File

@@ -188,13 +188,12 @@
"type": "boolean",
"description": "either `true` to allow merging pull requests with a merge commit, or `false` to prevent merging pull requests with merge commits."
},
"mirror": {
"description": "Configure a GitHub push mirror to sync this repo to",
"oneOf": [
{
"$ref": "#/definitions/SerialisedPushMirror"
}
]
"mirrors": {
"type": "array",
"description": "Configure GitHub push mirrors to sync this repo to",
"items": {
"$ref": "#/definitions/SerialisedPushMirror"
}
},
"protectedBranches": {
"type": [