On 26.09.2019 15:10, Pierre-Yves Chibon wrote:
What makes it a headache? What can we do to not have this be a
terrible
headache? Can we fix/improve the tooling?
I'm not going to log in into web, create a new pr, then merge it. This
is a terrible idea. Do not change current workflow.
--
Sincerely,
Vitaly Zaitsev (vitaly(a)easycoding.org)