Check if PR base is develop (#1460)

* Check if PR base is develop

fix #1458

* Add PR base checker

* Revert "Check if PR base is develop"

This reverts commit aad0532114.

Co-authored-by: Josélio Júnior <76992016+lunatic-fox@users.noreply.github.com>

.github/workflows/check_icon_pr.yml

@@ -8,11 +8,25 @@ jobs:
     steps:
       - uses: actions/checkout@v2
 
+      - name: Check if PR is develop
+        if: ${{ github.base_ref != 'develop' }}
+        run: |
+          echo -e "The PR's base branch is \`${{ github.base_ref }}\`, but should be \`develop\`\nPlease change the PR so that it's based on, and merged into \`develop\`" > ./err_messages.txt
+          echo "wrong_branch=true" >> $GITHUB_ENV
+      
       - uses: actions/setup-python@v2
+        if: ${{ !env.wrong_branch }}
         with: 
           python-version: 3.8
 
+      - name: Install dependencies
+        if: ${{ !env.wrong_branch }}
+        run: |
+          python -m pip install --upgrade pip
+          pip install -r ./.github/scripts/requirements.txt
+
       - name: Run the check_svg script
+        if: ${{ !env.wrong_branch }}
         env:
           PR_TITLE: ${{ github.event.pull_request.title }}
         run: python ./.github/scripts/check_icon_pr.py "$PR_TITLE" ./icons ./devicon.json