Open 'update_github_mirror(s)' subcommands to permit info updates
Description
Description
Details
Details
- Provenance
ardumont Authored on Feb 9 2017, 3:26 PM ardumont Pushed on Feb 9 2017, 3:47 PM - Parents
- rDMIRFOR93f3e6ff62da: make explicit in GitHub repo description that this is a mirror
- Branches
- Unknown
- Tags