Merge #345

345: Several improvements to the AutoMerge fail comments r=DilumAluthge a=DilumAluthge Co-authored-by: Dilum Aluthge <dilum@aluthge.com>
JuliaRegistries · Jan 19, 2021 · e816a67 · e816a67 · DilumAluthge · Jan 19, 2021
2 parents 882bd1e + 62e3739
commit e816a67
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 2 deletions.
diff --git a/Project.toml b/Project.toml
@@ -1,7 +1,7 @@
 name = "RegistryCI"
 uuid = "0c95cc5f-2f7e-43fe-82dd-79dbcba86b32"
 authors = ["Dilum Aluthge <dilum@aluthge.com>", "Fredrik Ekre <ekrefredrik@gmail.com>", "contributors"]
-version = "6.3.0"
+version = "6.3.1"
 
 [deps]
 Base64 = "2a0f44e3-6c83-55bd-87e4-b1978d98bd5f"

diff --git a/src/AutoMerge/util.jl b/src/AutoMerge/util.jl
@@ -31,7 +31,19 @@ function _comment_disclaimer()
                     "Note that the guidelines are only required for the pull request ",
                     "to be merged automatically. However, it is **strongly recommended** ",
                     "to follow them, since otherwise the pull request needs to be ",
-                    "manually reviewed and merged by a human.")
+                    "manually reviewed and merged by a human.",
+                    "\n\n",
+                    "After you have fixed the AutoMerge issues, simple retrigger Registrator, ",
+                    "which will automatically update this pull request. ",
+                    "You do not need to change the version number in your `Project.toml` file ",
+                    "(unless of course the AutoMerge issue is that you skipped a version number, ",
+                    "in which case you should change the version number).",
+                    "",
+                    "\n\n",
+                    "If you do not want to fix the AutoMerge issues, please post a comment ",
+                    "explaining why you would like this pull request to be manually merged.",
+                    "",
+                    )
     return result
 end