Fixing a few references to gitlab that should be github.

Fixing a few references to gitlab that should be github. #9