Rename for GitHub's preferrence