repo-manager

• store repositories keyed by name
  • repositories have a source origin url and optional mirror URLs
  • optional "name" key for handling name conflicts in the main list
• have to specify what is being restored or changed or copied
• right now I just need to get it able to set up a new Gitea instance
• in the future, it needs to be able to push to a new GitHub
• need to be able to recognize/use local repos vs pulled ones