branch: main
commit 6f1dec6b417567b0a41050aa1738d867efcdab2c
Author: Romain GARBAGE <romain.garb...@inria.fr>
AuthorDate: Fri Apr 4 18:34:40 2025 +0200
parameters: Change default Forgejo notification mechanism.
* src/cuirass/parameters.scm (%forgejo-notification-type): Switch to review
message.
* doc/cuirass.texi (Parameters): Add documentation.
Signed-off-by: Ludovic Courtès <l...@gnu.org>
---
doc/cuirass.texi | 11 +++++++++++
src/cuirass/parameters.scm | 2 +-
2 files changed, 12 insertions(+), 1 deletion(-)
diff --git a/doc/cuirass.texi b/doc/cuirass.texi
index 13a4e81..0ea4132 100644
--- a/doc/cuirass.texi
+++ b/doc/cuirass.texi
@@ -393,6 +393,17 @@ The URL of the Mastodon instance.
@item @code{%mastodon-instance-token} (default: @code{#f})
The token used to authenticate on the Mastodon instance.
+@item @code{%forgejo-notification-type} (default: @code{'create-review})
+The way to notify the Forgejo servers of pull request results.
+
+Possible values are:
+@table @code
+@item @code{'update-pull-request-body}
+Update the main message of the pull request.
+
+@item @code{'create-review}
+Create a review message in the pull request discussion.
+@end table
@end table
@end deftp
diff --git a/src/cuirass/parameters.scm b/src/cuirass/parameters.scm
index 668c29c..2f28dcc 100644
--- a/src/cuirass/parameters.scm
+++ b/src/cuirass/parameters.scm
@@ -77,4 +77,4 @@
;; The type of notification to send to a Forgejo server.
(define %forgejo-notification-type
- (make-parameter 'update-pull-request-body))
+ (make-parameter 'create-review))
