diff --git a/src/AutoMerge/util.jl b/src/AutoMerge/util.jl index 73a0f895..322ccce3 100644 --- a/src/AutoMerge/util.jl +++ b/src/AutoMerge/util.jl @@ -35,7 +35,10 @@ function _comment_disclaimer() "\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.", + "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.",