rename extension for github