Merge pull request #12 from PortSwigger/pr_template

Add PR template.
PortSwigger · Nov 29, 2023 · 54883e9 · 54883e9
2 parents a0e8598 + 91180e6
commit 54883e9
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md
@@ -0,0 +1,5 @@
+### Bambda Contributions
+
+* [ ] Bambda has a valid [header](https://github.com/PortSwigger/bambdas/blob/73077e7ff3f6fac9db7dc95c0a00bd842b6bb64c/Proxy/HTTP/FilterOnCookieValue.bambda#L1-L5), featuring an @author annotation and suitable description
+* [ ] Bambda is in the correct directory
+* [ ] Bambda compiles and executes as expected
diff --git a/.github/workflows/bambda-checker-merge.yml b/.github/workflows/bambda-checker-merge.yml
@@ -15,6 +15,7 @@ jobs:
       - uses: actions/checkout@v3
         with:
           ref: main
+          ssh-key: ${{secrets.ACTION_PRIVKEY}}
       - uses: actions/setup-java@v3
         with:
           java-version: '17'