Revert "Formatting cleanup"

This reverts commit 2c40ba7.

Author: vmcj

.github/jobs/baseinstall.sh

@@ -42,6 +42,7 @@ else
     make domserver
     make install-domserver
 fi
+
 section_end
 
 section_start "SQL settings"
@@ -138,3 +139,4 @@ elif [ "$version" = "all" ]; then
     mysql_root "UPDATE user SET teamid = 1 WHERE userid = 1;" domjudge
 fi
 section_end
+