How can I merge two identical commits with different hash?

Question

I have access to a contractor’s Git repo with read-only permissions. I pull his branches (smile/dev -> dev) from his server and then push them b