on: [pull_request]
jobs:
  ls:
    runs-on: docker
    container:
      image: git.php.fail/lubiana/container/php:ci
    steps:
      - name: Manually checkout
        env:
          REPO: '${{ github.repository }}'
          TOKEN: '${{ secrets.GITHUB_TOKEN }}'
          GIT_SERVER: 'hannover.ccc.de/gitlab'
        run: |
               git clone --branch $GITHUB_HEAD_REF https://${TOKEN}@${GIT_SERVER}/${REPO}.git .
               git fetch
               git checkout $GITHUB_HEAD_REF
      - name: composer install
        env:
          COMPOSER_CACHE_DIR: /opt/hostedtoolcache/.composer/cache/files
        run: |
          mkdir -p ${{ env.COMPOSER_CACHE_DIR }}
          composer install
      - name: lint
        run: composer lint
      - name: test
        run: composer mutation
      - name: Add comment to pull request
        run: |
          cat var/log/infection.txt >> /tmp/pull-request-comment
          cat var/log/summary.log >> /tmp/pull-request-comment
          curl -X POST \
          -H "Authorization: token ${GITHUB_TOKEN}" \
          -H "Content-Type: application/json" \
          -d '{"body": "$(cat /tmp/pull-request-comment)"}' \
          "${GITHUB_SERVER_URL}/api/v1/repos/${GITHUB_REPOSITORY}/issues/${GITHUB_EVENT_PULL_REQUEST_NUMBER}/comments"
      - name: GIT commit and push all changed files
        env:
          CI_COMMIT_MESSAGE: Continuous Integration Fixes
          CI_COMMIT_AUTHOR: Continuous Integration
        run: |
          if [[ -n "$(git status -s)" ]]; then
            git config --global user.name "${{ env.CI_COMMIT_AUTHOR }}"
            git config --global user.email "gitbot@users.noreply.php.fail"
            git commit -am "${{ env.CI_COMMIT_MESSAGE }}"
            git push
          fi