Hi Folks,

What can we do about PR backlog in GitHub? As we all know, it will be
very difficult to merge the changes - as things will get out of sync.

Feedback is welcome,

Thanks,
ilya

Reply via email to