Move to official repository for branch with default category

Since the about section can only track the default branch, the default
branch can be tracked locally. The androidui branch requires a mirror
with androidui set as default.