Add a short description to the beginning of the pull request body (#20)

JuliaLang · Dec 3, 2020 · 981ae19 · 981ae19 · DilumAluthge · Dec 3, 2020
1 parent 2676edd
commit 981ae19
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/bump-stdlibs.jl b/src/bump-stdlibs.jl
@@ -95,6 +95,8 @@ function _bump_single_stdlib(stdlib::StdlibInfo;
             commit_message = "🤖 Bump the $(name) stdlib to $(stdlib_latest_commit_short)"
             pr_branch = "BumpStdlibs/$(name)-$(stdlib_latest_commit_short)$(pr_branch_suffix)"
             pr_body = string(
+                "This pull request bumps Pkg to `$(stdlib_latest_commit_short)`, which is currently the latest commit on the `$(stdlib.branch)` branch.\n",
+                "\n",
                 "```\n",
                 "\$ git log --pretty=oneline --abbrev=commit $(stdlib_current_commit_in_upstream)^..$(stdlib_latest_commit)\n",
                 "$(strip(changelog))\n",