Public git server migrated