Replace gitlab repository in pre-commit with github

[Minho Ryu]

Because of change at gitlab policy, they require user id and password when downloading their repos.