Remove debug logging from GitHub Actions build

As flagged by @lurch, there's no need for us to be logging the current
branches and repositories during a build and it was an unintentional
security vulnerability.

Author: mudge

.github/workflows/build.yml

@@ -10,15 +10,6 @@ jobs:
   build:
     runs-on: ubuntu-latest
     steps:
-      - name: Log current branches and repositories
-        env:
-          REPO_FULL_NAME: ${{ github.event.pull_request.head.repo.full_name }}
-        run: |
-          echo "Current ref: $GITHUB_REF"
-          echo "Base ref: $GITHUB_BASE_REF"
-          echo "Head ref: $GITHUB_HEAD_REF"
-          echo "Repository: $GITHUB_REPOSITORY"
-          echo "Head repository: $REPO_FULL_NAME"
       - name: Only allow pull requests based on master from the develop branch of the current repository
         if: ${{ github.base_ref == 'master' && !(github.head_ref == 'develop' && github.event.pull_request.head.repo.full_name == github.repository) }}
         run: |