Ticket #1397 (new task)
Opened 11 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.
