On Wed, Jul 13, 2016 at 10:52 AM, Stefan Beller <sbeller@xxxxxxxxxx> wrote: > On Wed, Jul 13, 2016 at 10:32 AM, Junio C Hamano <gitster@xxxxxxxxx> wrote: >> Stefan Beller <sbeller@xxxxxxxxxx> writes: >> >>>> * sb/push-options (2016-07-12) 5 commits >>>> - add a test for push options >>>> - push: accept push options >>>> - SQUASH??? >>> >>> Squash? I do not find a squashable commit in what you pushed, >>> do you intend to squash the first 2 patches instead? > > Oh I pulled a few minutes before you sent this email, and forgot > that you likely have pushed again when sending this email. :/ There were no multiple pushes involved. I prepare what is to be pushed out, update the what's cooking report, push and then send out the what's cooking report (which also is on the 'todo' branch). But there is this thing called propagation delay ;-) -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html