Better message

typst · Sep 30, 2024 · 8f2793e · 8f2793e
1 parent fb45f5f
commit 8f2793e
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/src/github.rs b/src/github.rs
@@ -405,8 +405,12 @@ async fn github_hook<G: GitHubAuth>(
                                         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()