Re: How to manage github pull requests?

Hi Sergey,

On Wed, Feb 03, 2021 at 03:00:46PM +0300, Sergey Panteleev wrote:
> [...]
>    Yesterday I updated the logic:
>    Currently, I'm getting the latest git id, except three ids [1].
>    If the latest English git id is one of them, I get the previous one.

thanks for your explanation. Now I got it. I'll also adapt my srcipt to
ignore these ids, then.

Cheers,
Martin