Hi All,

Thank you for the replies and +1s, I have pushed my branch with the
squashed commit to trunk with --force-with-lease.
It seems that the git-wip-us.apache.org -> github mirroring still works.
Let me know if you think I have messed up something.

Denes

On Mon, Jan 29, 2018 at 8:56 AM Mike Percy <[EMAIL PROTECTED]> wrote: