Add migrated repos to gerrit server

Change-Id: I6a6d080ac16e537113f399d6b127bd57cc259e98