Mirror github repository

Github repo is not in sync with this repo, which could be confusing for the users.