Should I delete the .idea files, recommit and make a new pull request then?