git: Sync GitLab --> Gitolite --> GitHub.

Closes #3, #5.

Change-Id: I92426323d6ba9bd8d7f7cfa7fc4af37d3b9bbb93
1 file changed