From 8f2793e4649fbb2e041855e92aa747fc0992649a Mon Sep 17 00:00:00 2001 From: Ana Gelez Date: Mon, 30 Sep 2024 14:28:15 +0200 Subject: [PATCH] Better message --- src/github.rs | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/src/github.rs b/src/github.rs index a2b61b1..95d6476 100644 --- a/src/github.rs +++ b/src/github.rs @@ -405,8 +405,12 @@ async fn github_hook( repository.name(), current_pr.number, format!( - "@{} You released {}:{}, you probably \ - want to have a look at this pull request.", + "@{} You released {}:{}, so you probably \ + want to have a look at this pull request. \ + If you want this update to be merged, \ + please leave a comment stating so. \ + Without your permission, the pull request \ + will not be merged.", previous_pr.user.login, package.name, package.previous_version()