Revert "rename repo"

This reverts commit e0124eb46571102cab5b99ff4281000278fa4c86.