Ticket #1397 (new task)

Opened 7 years ago

Create Git repository management scripts

Reported by: jdreed Owned by: vasilvv
Priority: normal Milestone: Current Semester
Component: -- Keywords:
Cc: Fixed in version:
Upstream bug:

Description

These includes scripts to:

  • create a repository (and its companion on Github)
  • add a repository to the superrepo
  • remove a repository from the superrepo
Note: See TracTickets for help on using tickets.