Skip to content

Conversation

@jovnc
Copy link
Collaborator

@jovnc jovnc commented Jan 4, 2026

Exercise Review

Exercise Discussion

Link the exercise discussion issue

Checklist

  • If you require a new remote repository on the Git-Mastery organization, have you created a request for it?
  • Have you written unit tests using repo-smith to validate the exercise grading scheme?
  • Have you tested your changes using the instructions posted?
  • Have you verified that this exercise does not already exist or is not currently in review?
  • Did you introduce a new grading mechanism that should belong to git-autograder?
  • Did you introduce a new dependency that should belong to app?

@jovnc jovnc closed this Jan 4, 2026
"base_files": {},
"exercise_repo": {
"repo_type": "local",
"repo_type": "ignore",
Copy link
Member

@woojiahao woojiahao Jan 4, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This would cause the app to not create the .git folder in the beginning and it would not call the download function.

The primary fix has to occur in git-autograder:

Support an additional field in exercise_repo to ignore a potentially non-Git folder (not the same as repo_type so that downloading can still occur)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants