Merge branch 'main' into fix-for-issue-JabRef#12272

Author: oops-shlok

.github/ghprcomment.yml

@@ -1,3 +1,24 @@
+- jobName: 'Source branch is other than "main"'
+  message: >
+    You committed your code on `main` brach. This is bad practise.
+
+
+    Please start with a proper branch name.
+    See [https://github.com/JabRef/jabref/blob/main/CONTRIBUTING.md#pull-request-process](CONTRIBUTING.md) for details.
+- jobName: windows installer and portable version
+  message: >
+    Your code does not compile.
+    Please ensure your changes compile successfully before pushing changes.
+   
+    
+    To verify compilation locally, run `./gradlew build` or try running JabRef.
+- jobName: 'Conflicts with target branch'
+  message: >
+    Your pull request conflicts with the target branch.
+
+
+    Please [merge `upstream/main`](https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/working-with-forks/syncing-a-fork#syncing-a-fork-branch-from-the-command-line) with your code.
+    For a step-by-step guide to resolve merge conflicts, see <https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/addressing-merge-conflicts/resolving-a-merge-conflict-using-the-command-line>.
 - jobName: Checkstyle
   message: >
     Your code currently does not meet [JabRef's code guidelines](https://devdocs.jabref.org/getting-into-the-code/guidelines-for-setting-up-a-local-workspace/intellij-13-code-style.html).
@@ -37,15 +58,6 @@
   message: |
     While the PR was in progress, a new version of JabRef has been released.
     You have to merge `upstream/main` and move your entry in `CHANGELOG.md` up to the section `## [Unreleased]`.
-- jobName: 'Unit tests'
-  message: >
-    JUnit tests are failing.
-    In the area "Some checks were not successful", locate "Tests / Unit tests (pull_request)" and click on "Details".
-    This brings you to the test output.
-
-
-    You can then run these tests in IntelliJ to reproduce the failing tests locally.
-    We offer a quick test running howto in the section [Final build system checks](https://devdocs.jabref.org/getting-into-the-code/guidelines-for-setting-up-a-local-workspace/intellij-12-build.html#final-build-system-checks) in our setup guide.
 - jobName: no-force-push
   message: >
     Do not force-push!
@@ -84,16 +96,18 @@
     - ✅ `Fixes https://github.com/JabRef/jabref/issues/xyz` links pull-request to issue. Merging the PR will close the issue.
     - ✅ `Fixes https://github.com/Koppor/jabref/issues/xyz` links pull-request to issue. Merging the PR will close the issue.
     - ❌ `Fixes [#xyz](https://github.com/JabRef/jabref/issues/xyz)` links pull-request to issue. Merging the PR will **NOT** close the issue.
-- jobName: 'Conflicts with target branch'
-  message: >
-    Your pull request conflicts with the target branch.
-
-
-    Please [merge `upstream/main`](https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/working-with-forks/syncing-a-fork#syncing-a-fork-branch-from-the-command-line) with your code.
-    For a step-by-step guide to resolve merge conflicts, see <https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/addressing-merge-conflicts/resolving-a-merge-conflict-using-the-command-line>.
 - jobName: 'Submodules not modified'
   message: >
     Your pull request modified git submodules.
 
 
     Please follow our [FAQ on submodules](https://devdocs.jabref.org/code-howtos/faq.html#submodules) to fix.
+- jobName: 'Unit tests'
+  message: >
+    JUnit tests are failing.
+    In the area "Some checks were not successful", locate "Tests / Unit tests (pull_request)" and click on "Details".
+    This brings you to the test output.
+
+
+    You can then run these tests in IntelliJ to reproduce the failing tests locally.
+    We offer a quick test running howto in the section [Final build system checks](https://devdocs.jabref.org/getting-into-the-code/guidelines-for-setting-up-a-local-workspace/intellij-12-build.html#final-build-system-checks) in our setup guide.

.github/workflows/tests.yml

@@ -408,6 +408,9 @@ jobs:
           sed -i "s/ all/ untracked/" .gitmodules
 
           if ! git diff --submodule=log origin/${{ github.base_ref }} HEAD | grep -vzq "Submodule src"; then
+            echo "Debug:"
+            echo git diff --submodule=log origin/${{ github.base_ref }} HEAD
+            git diff --submodule=log origin/${{ github.base_ref }} HEAD
             echo "❌ Submodule modifications detected"
             exit 1
           fi