mirror of
https://github.com/tiennm99/is-a-good-dev.git
synced 2026-10-12 22:14:41 +00:00
Merge branch 'is-a-good-dev:main' into main
This commit is contained in:
1 file changed
+2
-1
@@ -33,6 +33,7 @@ jobs:
|
||||
${{steps.tests.outputs.recordMessage}}
|
||||
|
||||
repo-token: ${{ secrets.GITHUB_TOKEN }}
|
||||
repo-token-user-login: 'is-a-good.dev (Validation) [bot]' # The user.login for temporary GitHub tokens
|
||||
proxy-url: https://add-pr-comment-proxy-94idvmwyie-uc.a.run.app
|
||||
repo-token-user-login: 'github-actions[bot]' # The user.login for temporary GitHub tokens
|
||||
allow-repeats: false # This is the default
|
||||
|
||||
Reference in new issue
Block a user