I was working on local/feature, created remote/feature and pushed my work there.
A coworker pushed to remote/feature.
I noticed a mistake in local/feature, didn't want to create unnecessary commits on my feature branch, so I amended the commit to correct the mistake, and used git push --force to overwrite remote/feature.
I have the hash of my coworkers commit, is there any way I can restore it? Git doesn't recognize the hash locally.