ci: fix ci unable to identify org members

GitHub doesn't have an easy way to tests users members of an organization currently. Hardcode it for now.
Meaningful-Code · Aug 10, 2024 · e811978 · e811978
1 parent f530cee
commit e811978
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/push-to-internal.yml b/.github/workflows/push-to-internal.yml
@@ -7,7 +7,7 @@ on:
 
 jobs:
   push:
-    if: github.actor == github.repository_owner
+    if: github.actor == 'Pixep'
     runs-on: ubuntu-latest
 
     steps: