bd2cec54e3
The infra-manual is now the OpenDev manual, move it to opendev namespace. Remove also the publish job, we can publish now to docs.opendev.org. Change-Id: I96d95781805826b1060523a3c616a9a2f1dc51dd
15 lines
323 B
Plaintext
15 lines
323 B
Plaintext
[access "refs/heads/*"]
|
|
abandon = group infra-manual-core
|
|
label-Code-Review = -2..+2 group infra-manual-core
|
|
label-Workflow = -1..+1 group infra-manual-core
|
|
|
|
[access "refs/tags/*"]
|
|
pushSignedTag = group infra-manual-release
|
|
|
|
[receive]
|
|
requireChangeId = true
|
|
requireContributorAgreement = true
|
|
|
|
[submit]
|
|
mergeContent = true
|