Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions .github/CODEOWNERS
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
* @hotdata-dev/engineers

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

nit: consider granting the team access before merging this (not blocking).

As the description notes, @hotdata-dev/engineers has no access to this repo yet. GitHub only honors code owners with write access, so until the gh api ... -f permission=push call is made this file is not just inert — GitHub's CODEOWNERS syntax check will render it as an error ("Unknown owner" / "does not have write access") on every PR page.

Two consequences worth weighing:

  • No reviews get auto-requested, which is the entire stated goal of the PR.
  • If this repo has, or later gains, a branch protection rule with Require review from Code Owners, an unresolvable owner makes that requirement unsatisfiable and PRs become unmergeable. I can't inspect branch protection settings from here, so please confirm that rule is off before merging if the access grant is going to lag.

Grant the team push first, then merge, and both concerns go away.

Loading