Fix configuration for GitHub.