Fix extension for github.