ci/github-script/merge: unify terms for authoring and creating PRs

I didn't like r-ryantm "authoring"; so I changed that to "created"
earlier. Arguably, using "opened" is more consistent with what is
actually checked and can consistently be used for both.
This commit is contained in:
Wolfgang Walther
2025-11-03 09:00:56 +01:00
parent e0c0b2c54c
commit 5407abeb7d
2 changed files with 4 additions and 4 deletions

View File

@@ -45,11 +45,11 @@ function runChecklist({
'PR touches only files of packages in `pkgs/by-name/`.': allByName,
'PR is at least one of:': {
'Approved by a committer.': committers.intersection(approvals).size > 0,
'Authored by a committer.': committers.has(pull_request.user.id),
'Backported via label.':
pull_request.user.login === 'nixpkgs-ci[bot]' &&
pull_request.head.ref.startsWith('backport-'),
'Created by r-ryantm.': pull_request.user.login === 'r-ryantm',
'Opened by a committer.': committers.has(pull_request.user.id),
'Opened by r-ryantm.': pull_request.user.login === 'r-ryantm',
},
}