From 7cac0f1dc8ade9c96cba0ae7dea2dd1bb7d8201f Mon Sep 17 00:00:00 2001
From: Lorenz Walthert <lorenz.walthert@icloud.com>
Date: Sun, 25 Oct 2020 22:36:21 +0100
Subject: [PATCH] make it easier to c/p

---
 .github/workflows/benchmarking.yaml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/benchmarking.yaml b/.github/workflows/benchmarking.yaml
index 3dedc6473..f3251be64 100644
--- a/.github/workflows/benchmarking.yaml
+++ b/.github/workflows/benchmarking.yaml
@@ -70,7 +70,8 @@ jobs:
       - name: Prepare PR comment
         run: |
           mkdir -p bench/pr-comment
-          echo 'Here is how the current PR would change benchmark results:\n' > bench/pr-comment/info.txt
+          echo "Here is how the current PR would change benchmark results when merged into $GITHUB_BASE_REF:" > bench/pr-comment/info.txt
+          echo "$GITHUB_EVENT_PULL_REQUEST_HEAD_SHA" >> bench/pr-comment/info.txt
       - name: Run benchmarks
         run: Rscript -e 'bench::cb_run()'
       - name: Show benchmarks