better naming

Author: lorenzwalthert

.github/workflows/benchmarking.yaml

@@ -16,7 +16,7 @@ jobs:
         with:
           fetch-depth: 0
         uses: actions/checkout@master
-      - name: Ensure master branch is fetched
+      - name: Ensure base branch is fetched
         if: ${{ github.event_name == 'pull_request' }}
         run: git branch $GITHUB_BASE_REF remotes/origin/$GITHUB_BASE_REF; git branch
       - name: Setup R