<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Fri, Jun 6, 2014 at 1:22 AM, Casey Marshall <span dir="ltr"><<a href="mailto:casey.marshall@canonical.com" target="_blank">casey.marshall@canonical.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="">On 06/05/2014 10:22 AM, Nate Finch wrote:<br>
> This mashes all your pre-PR commits into one, so hides some commit spam<br>
> that way, but then keeps the post-PR commits, to preserve comments.  It<br>
> sounds like we can still get a list of just the merges from git, to exclude<br>
> all the commits during code review.<br>
><br>
> This sounds like the best of both worlds (or as close as we can get) and<br>
> removes one more step (rebasing after code review changes), which seems<br>
> like a good thing.<br>
><br>
> Thoughts?<br>
><br>
<br>
</div>Completely agree. Rebase (or rewriting history in general, like git<br>
commit --amend) should only be done in private branches. Use it to clean<br>
up your own personal commits (which are less interesting to have in a<br>
main master branch), and to replay upstream's newer commits in front of<br>
your current WIP.<br></blockquote><div><br></div><div>I consider my fork of juju on github to be more-or-less private; I would be surprised if anyone was branching off anything on there.</div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

Once that branch hits a pull request, it's public, and needs to be<br>
merged in public.<br>
<br>
We should never, ever need to do a 'git push -f', unless something has<br>
gone horribly wrong. When you force push, you break that branch for<br>
everyone else who has it.<br></blockquote><div><br></div><div>This is a problem if people are branching off your fork. How often do people do that in practice?</div><div>If the answer is "never" or "very rarely" then I don't think it's really a problem.</div>
<div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
><br>
><br>
<br>
<br>--<br>
Juju-dev mailing list<br>
<a href="mailto:Juju-dev@lists.ubuntu.com">Juju-dev@lists.ubuntu.com</a><br>
Modify settings or unsubscribe at: <a href="https://lists.ubuntu.com/mailman/listinfo/juju-dev" target="_blank">https://lists.ubuntu.com/mailman/listinfo/juju-dev</a><br>
<br></blockquote></div><br></div></div>