Change Details

The current keyholder github mirror points to the old phab repo. We'll need to update that to point to gerrit. Steps roughtly: [ ] stop mirroring repo in phab [ ] delete and recreate github repo (to avoid having to force push) [ ] setup alias for mirroring in gerrit [ ] do initial gerrit mirror

The current keyholder github mirror points to the old phab repo. We'll need to update that to point to gerrit. Steps roughtly: [x] stop mirroring phab repo [x] archive phab repo [x] mirror gerrit repo to phab [x] mirror phab repo to github

The current keyholder github mirror points to the old phab repo. We'll need to update that to point to gerrit. Steps roughtly: [ x] stop mirroring repo in phabphab repo [ ] delete and recreate github repo (to avoid having to force push)x] archive phab repo [ ] setup alias for mirroring in gerritx] mirror gerrit repo to phab [ ] do initial gerrit mirrorx] mirror phab repo to github