Changing filetype for GitHub.