[CI] Fix user reference in PR commentary (#1231)

Co-authored-by: Clément Michaud <clement.michaud34@gmail.com>
pull/1233/head
Amir Zarrinkafsh 2020-07-27 05:09:43 +10:00 committed by GitHub
parent 85f199c458
commit ad6b152fee
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions

4
.github/probot.js vendored
View File

@ -24,7 +24,7 @@ on('pull_request.opened')
context => context =>
!context.payload.pull_request.head.label.includes(':master') !context.payload.pull_request.head.label.includes(':master')
) )
.comment(`Thanks for choosing to contribute @{{ user.login }}. We lint all PR's with golangci-lint, I may add a review to your PR with some suggestions. .comment(`Thanks for choosing to contribute @{{ pull_request.user.login }}. We lint all PR's with golangci-lint, I may add a review to your PR with some suggestions.
You are free to apply the changes if you're comfortable, alternatively you are welcome to ask a team member for advice. You are free to apply the changes if you're comfortable, alternatively you are welcome to ask a team member for advice.
@ -44,7 +44,7 @@ on('pull_request.opened')
context => context =>
context.payload.pull_request.head.label.includes(':master') context.payload.pull_request.head.label.includes(':master')
) )
.comment(`Thanks for choosing to contribute @{{ user.login }}. .comment(`Thanks for choosing to contribute @{{ pull_request.user.login }}.
Unfortunately it appears that you're submitting a PR from a forked master branch and this is known to causes issues with codecov. Please re-submit your PR from a branch other than master.`) Unfortunately it appears that you're submitting a PR from a forked master branch and this is known to causes issues with codecov. Please re-submit your PR from a branch other than master.`)
.close() .close()