If you do a git log -5
it will show your last 5 commits. Determine the version before you named the file, and you can do a git reset --hard HEAD~<number>
where <number>
is how many commits you want to go back.
Alternatively, with your renamed proj file, you could try to blow away your remote with a git push origin :branchName
then push your local changed branch up to the remote git push origin branchName
Then, have your other team members do a pull from the newly pushed remote.