Re: How to manage github pull requests?

Hi Sergey,

On Wed, Feb 03, 2021 at 10:54:42AM +0300, Sergey Panteleev wrote:
>    Ah.. clear =)
>    Applied the same rules in my script.
>    Thanks!

But there's no problem with bumping EN-Rev to the latest revision
either, even when the diff is empty? I'm asking, because I don't care
about editing EN-Rev and have a script doing it after sync/review. And
my updated svn revcheck only compares EN-Rev against the latest
revision.

Cheers,
Martin