ci/github-script/manual-file-edits: init

Blocks manual edits to github-teams.json
2026-04-12 14:14:19 -04:00
parent 176cd43afd
commit bd7e8b992b
3 changed files with 101 additions and 0 deletions
@@ -116,4 +116,15 @@ program
    await run(checkCommitMessages, owner, repo, pr, options)
  })

+program
+  .command('manual-file-edits')
+  .description("Error when files that shouldn't be edited manually are")
+  .argument('<owner>', 'Owner of the GitHub repository to run on (Example: NixOS)')
+  .argument('<repo>', 'Name of the GitHub repository to run on (Example: nixpkgs)')
+  .argument('<pr>', 'Number of the Pull Request to run on')
+  .action(async (owner, repo, pr, options) => {
+    const checkManualFileEdits = (await import('./manual-file-edits.js')).default
+    await run(checkManualFileEdits, owner, repo, pr, options)
+  })
+
 await program.parse()