adding file extension for GitHub