I did some work in an Excel spreadsheet. My colleague did different work at the same time and pushed his changes first. Obviously git will not allow me to push, and git merge
doesn't seem to work on binary files (and I wouldn't trust it if it did).
The solution I have in mind is to just copy the local repo to a new folder, overwrite the local repo with the remote version, merge in my work by hand, then commit/push and delete the temporary new folder. Is there a better or git-based way to do this? I was looking at git stash
but I wasn't sure.
I haven't found any guidance in previous questions despite very thorough answers, e.g. - this one
edit: am I overthinking it? can I just use git fetch
then somehow access what I've fetch
ed without merge
ing?