gradetools
gradetools copied to clipboard
Separate feedback file creation
Make a separate function to write the feedback files all together.
This will require modifying push_to_github() to work for the case when something has been graded but a feedback doesn't exist (maybe if a feedback file doesn't exist but a user wants to push it, then automatically create it?)