Mirroring to github

• git.elphel.com: Create a project on https://git.elphel.com
• git.elphel.com: Do anything
• github: Create an empty project with the same name on https://github.com - without any files
• github: Then "import code from another repository" - provide https url
• Add a record to gitlab-sync/repos.json
• git.elphel.com: Add the webhook (take from an already mirrored project)