Admin updates

andrewbaxter · Jun 2, 2024 · ef180ca · ef180ca
1 parent 6de96df
commit ef180ca
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/copyright.yaml → .github/workflows/copyright.yml b/.github/workflows/copyright.yaml → .github/workflows/copyright.yml
@@ -7,5 +7,5 @@ on:
     runs-on: ubuntu
     steps:
     - env:
-          BODY: 1138013{{ github.event.pull_request.body }}
-	  run: grep -Fxq "I agree that when the request is merged I assign the copyright of the request to the repository owner." <(echo "1138013BODY")
+          BODY: 1138253{{ github.event.pull_request.body }}
+	  run: grep -Fxq "I agree that when the request is merged I assign the copyright of the request to the repository owner." <(echo "1138253BODY")