Merge remote-tracking branch 'origin/cleaning' into cleaning

Author: AlexanderSchultheiss

docs/replication/create-forks-on-github.sh

@@ -54,8 +54,16 @@ while IFS= read -d '' -r repository
 do
   echo
   run cd "$repository"
-  run gh repo fork --remote
-  run git push -f origin
+  url="$(git remote get-url origin)"
+  if [[ "$url" ~= github.com ]]
+  then
+    echo "$repository is a github repo"
+    run gh repo fork --remote
+    run git push -f origin
+  else
+    echo "$repository is not a github repo"
+    run gh repo create "$repository" -d "Fork of $url" --push --public --source .
+  fi
 done
 
 if [ "$was_logged_in" = "1" ]

src/main/java/org/variantsync/diffdetective/datasets/DatasetDescription.java

@@ -1,5 +1,6 @@
 package org.variantsync.diffdetective.datasets;
 
+import org.tinylog.Logger;
 import org.variantsync.diffdetective.util.LaTeX;
 import org.variantsync.diffdetective.util.StringUtils;
 
@@ -47,6 +48,17 @@ public static List<DatasetDescription> fromMarkdown(final Path markdownFile) thr
             return lines
                 .skip(2) // Skip header
                 .map(line -> line.split("\\|"))
+                .filter(cells -> {
+                    if (cells.length != 7) {
+                        Logger.error("Skipping ill-formed line "
+                                + String.join("|", cells)
+                                + "! Expected 7 entries in a table (separated by |) but got "
+                                + cells.length
+                                + "!");
+                        return false;
+                    }
+                    return true;
+                })
                 .filter(cells ->
                     isYes(cells[2]) && // hasCode
                     isYes(cells[3]) // isGitRepo

src/main/java/org/variantsync/diffdetective/validation/Validation.java

@@ -21,6 +21,7 @@
 import org.variantsync.diffdetective.util.Assert;
 
 import java.io.IOException;
+import java.nio.file.Files;
 import java.nio.file.Path;
 import java.nio.file.Paths;
 import java.util.List;
@@ -131,10 +132,14 @@ public static void main(String[] args) throws IOException {
         if (args.length < 1) {
             datasetsFile = DefaultDatasets.DEFAULT_DATASETS_FILE;
         } else if (args.length > 1) {
-            System.err.println("Error: Expected exactly one argument but got " + args.length + "! Expected a path to a datasets markdown file.");
+            Logger.error("Error: Expected exactly one argument but got " + args.length + "! Expected a path to a datasets markdown file.");
             return;
         } else {
             datasetsFile = Path.of(args[0]);
+
+            if (!Files.exists(datasetsFile)) {
+                Logger.error("The given datasets file \"" + datasetsFile + "\" does not exist.");
+            }
         }
 
         final ParseOptions.DiffStoragePolicy diffStoragePolicy = ParseOptions.DiffStoragePolicy.DO_NOT_REMEMBER;