On Sun, Nov 10, 2019 at 08:48:27AM +0530, Amit Kapila wrote:
> I am planning to go with Peter's suggestion and will push in
> HEAD-only. So, I think that should be fine.
I was just looking at this thread, and my take would be to just apply
that on HEAD. Good catch by the way.
--
Michael