More complicated user check

.github/workflows/issue_workflow.yml

@@ -11,7 +11,7 @@ jobs:
     steps:
       - name: Check if the issue creator is a maintainer
         id: check_maintainer
-        run: echo "::set-output name=is_maintainer::$(echo ${{ github.event.issue.user.type }} | tr '[:upper:]' '[:lower:]')"
+        run: echo "::set-output name=is_maintainer::$(curl -s -H 'Authorization: token ${{ secrets.GITHUB_TOKEN }}' https://api.github.com/repos/${{ github.repository }}/collaborators/${{ github.event.issue.user.login }}/permission | jq -r '.permission' | grep -q 'admin' && echo 'true' || echo 'false')"
 
       - name: Apply "needs triage" label to issues created by non-maintainers
         if: steps.check_maintainer.outputs.is_maintainer == 'user'