Rename and delete
GitHub for Windows is stupid