<p dir="ltr">Local git commands are unlikely to be helpful. The developer already has the correct commit on the local branch which is also patchset3 on the server, but she's unable to push it again.</p>
<p dir="ltr">On Sep 24, 2016 9:32 AM, "Spyridon Mastorakis" <<a href="mailto:mastorakis@cs.ucla.edu">mastorakis@cs.ucla.edu</a>> wrote:<br>
><br>
> Would git reflog work?<br>
><br>
> Spyros <br>
></p>