From 9237cfd2a0a151a67e5c5dbc00f99c2aa6d72bb7 Mon Sep 17 00:00:00 2001
From: maarten <maarten@bit.nl>
Date: Thu, 17 Apr 2025 15:45:57 +0200
Subject: [PATCH] Update default Jenkins file with comments

---
 Jenkinsfile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 37975cc..0e1fae0 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -2,7 +2,7 @@ pipeline {
     agent any
 
     tools {
-        maven 'Maven 3.9.9'
+        maven 'Maven 3.9.9' // Change this to the needed maven installation
     }
 
     environment {
@@ -25,6 +25,8 @@ pipeline {
             }
         }
 
+        // Uncomment this section to send notification to Discord. Replace <DISCORD_WEBHOOK_URL> with the webhook url.
+        // - Requirement: Discord Notifier plugin installed in Jenkins
         // stage('Notify Discord') {
         //     steps {
         //         script {