We are working on a project where we use GitHub to upload our work.

After making a lot of modifications, I wanted to do git push. I also needed to do git pull; after that, I fixed the merge conflicts, and started again doing other modifications.

I didn’t notice at first that one of my files had been deleted. How can I restore it? The file has never been saved to GitHub, it was only in my computer; it is new content. The last commits don’t seem to include my file as it is new content. How can I find my file again?

I tried git merge --abort, and git restore without success.