<div dir="ltr"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><pre>On Tue, May 21, 2019 at 11:23 AM Bas Couwenberg <<a href="https://lists.osgeo.org/mailman/listinfo/grass-dev">sebastic at xs4all.nl</a>> wrote:
><i> On 2019-05-21 11:22, Markus Neteler wrote:
</i>><i> > How to revert that? Of course someone had to run into this at some
</i>><i> > point, so seems I "volunteered" to be the first :((
</i>><i>
</i>><i> rebase and force push.</i></pre></blockquote><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Vaclav Petras <<a href="https://lists.osgeo.org/mailman/listinfo/grass-dev">wenzeslaus at gmail.com</a>> wrote: </blockquote><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">1) There is probably a smart way to resolve it. Something along the lines<br>of what Bas suggested to the situation before but you can also backup diffs<br>for all you changes (if any), delete fork and delete your local clone and start over. </blockquote><div><br></div><div>@all </div><div><br></div><div>Please, keep in mind that git push --force is probably the only command that you should **never** use on main repo.</div><div><br></div><div>You are free to force push whatever you want on personal/private repos/branches. Nevertheless, all commits in the shared repository should be considered **immutable**. Please don't break this assumption. If there is need to revert something, use <code>git revert</code> instead.</div><div><br></div><div>all the best,</div><div>Panos</div></div>