diff --git a/Project.toml b/Project.toml index c3db209e..75856e5b 100644 --- a/Project.toml +++ b/Project.toml @@ -1,7 +1,7 @@ name = "RegistryCI" uuid = "0c95cc5f-2f7e-43fe-82dd-79dbcba86b32" authors = ["Dilum Aluthge ", "Fredrik Ekre ", "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 index 09f686e4..322ccce3 100644 --- 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