[exercises] Introduce new ignore type

These don't generate a subfolder and are gracefully handled by
git-autograder

Author: woojiahao

fork_repo/.gitmastery-exercise.json

@@ -7,10 +7,10 @@
   "requires_github": true,
   "base_files": {},
   "exercise_repo": {
-    "repo_type": "local",
+    "repo_type": "ignore",
     "repo_name": "ignore-me",
     "repo_title": null,
     "create_fork": null,
     "init": true
   }
-}
+}

new-exercise.py

@@ -54,10 +54,16 @@ def get_exercise_config() -> ExerciseConfig:
     tags = [] if tags_str.strip() == "" else tags_str.split(" ")
     requires_git = confirm("Requires Git?", True)
     requires_github = confirm("Requires Github?", True)
-    exercise_repo_type = prompt("Exercise repo type (local or remote)", "local").lower()
-
-    if exercise_repo_type != "local" and exercise_repo_type != "remote":
-        print("Invalid exercise_repo_type, only local and remote allowed")
+    exercise_repo_type = prompt(
+        "Exercise repo type (local, remote, or ignore)", "local"
+    ).lower()
+
+    if (
+        exercise_repo_type != "local"
+        and exercise_repo_type != "remote"
+        and exercise_repo_type != "ignore"
+    ):
+        print("Invalid exercise_repo_type, only local, remote, and ignore allowed")
         sys.exit(1)
 
     exercise_repo_name = prompt("Exercise repo name", exercise_name.replace("-", "_"))

remote_control/.gitmastery-exercise.json

@@ -5,7 +5,7 @@
   "requires_github": true,
   "base_files": {},
   "exercise_repo": {
-    "repo_type": "local",
+    "repo_type": "ignore",
     "repo_name": "ignore-me",
     "init": true,
     "create_fork": null,

requirements.txt

@@ -1,5 +1,5 @@
 mypy
-git-autograder==5.*
+git-autograder==6.*
 pytest
 repo-smith
 PyYAML