It's in this PR: scripts/git_add_course.py