@cahrens Here's the corresponding test of export_to_git that got deleted since it no longer raises BAD_COURSE.  Shouldn't we still check for Bad course IDs?