removed the --allow-empty option for git commits from the feedback …

…proposal API
TUM-Dev · Jun 25, 2023 · f386ef9 · f386ef9
1 parent 86dace9
commit f386ef9
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/server/feedback/src/proposed_edits/tmp_repo.rs b/server/feedback/src/proposed_edits/tmp_repo.rs
@@ -64,7 +64,6 @@ impl TempRepo {
         let out = Command::new("git")
             .current_dir(&self.dir)
             .arg("commit")
-            .arg("--allow-empty") // TODO: remove once the need for empty commits is gone (images+coodinates)
             .arg("--all") // run git add . before commit
             .arg("-m")
             .arg(title)