id summary reporter owner description type status priority milestone component resolution keywords cc fix_version see_also 1397 Create Git repository management scripts jdreed vasilvv "These includes scripts to: - create a repository (and its companion on Github) - add a repository to the superrepo - remove a repository from the superrepo " task new normal Current Semester --