ci: truly fix repo name detection

This commit is contained in:
Ammar Bandukwala
2023-06-02 22:03:21 +00:00
parent 887bbea72a
commit a4424205c7
+3 -3
View File
@@ -9,9 +9,9 @@ runs:
steps:
- shell: bash
run: |
repo_name=${{ github.repository_owner }}/${{ github.repository_name }}
echo "repo_name: $repo_name"
if [[ $repo_name != "coder/coder" ]]; then
owner=${{ github.repository_owner }}
echo "owner: $owner"
if [[ $owner != "coder" ]]; then
echo "Not a pull request from the main repo, skipping..."
exit 0
fi