Skip to content

Commit

Permalink
CODEOWNERS: Make Mike the new owner.
Browse files Browse the repository at this point in the history
Added Mike as the new codeowner.

To preserve the code owner for the publishing PRs as just
Mike, the workflow was also updated to explicitly push
him only as the code owner. Otherwise, all code owners
would be added to the publishing PRs.

Signed-off-by: Charlie Johnston <[email protected]>
  • Loading branch information
Charlie Johnston authored and SparkingSpork committed Sep 26, 2023
1 parent 368f9e2 commit a474b4d
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion .github/workflows/publish-page.yml
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ jobs:
documentation_path: './docs/source'
- name: Preserve Configuration Files
run: |
git checkout main -- CODEOWNERS
echo "* @mike-petersen-ni" > CODEOWNERS
git checkout gh-pages^ -- CNAME
- name: Create Pull Request
uses: peter-evans/create-pull-request@v4
Expand Down
2 changes: 1 addition & 1 deletion CODEOWNERS
Validating CODEOWNERS rules …
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
# Default code owner for the repository
* @SparkingSpork
* @mike-petersen-ni

0 comments on commit a474b4d

Please sign in to comment.