mirror of
https://github.com/element-hq/element-web
synced 2024-11-29 04:48:50 +03:00
Remove extraneous dollar from review-requests action (#20480)
This commit is contained in:
parent
d40f432132
commit
da8476e426
1 changed files with 1 additions and 1 deletions
|
@ -39,7 +39,7 @@ jobs:
|
|||
# Fetch requested team reviewers, and the name of the team
|
||||
echo '${{ tojson(github.event.pull_request.requested_teams[*].slug) }}' | tee /tmp/team_reviewers.json
|
||||
jq --raw-output .[] < /tmp/team_reviewers.json | sort | tee /tmp/team_reviewers.txt
|
||||
echo '${{ env.TEAM }}$' | tee /tmp/team.txt
|
||||
echo '${{ env.TEAM }}' | tee /tmp/team.txt
|
||||
|
||||
# If either a reviewer matches a team member, or a team matches our team, say "true"
|
||||
if [ $(join /tmp/team_members.txt /tmp/reviewers.txt | wc -l) != 0 ]; then
|
||||
|
|
Loading…
Reference in a new issue