Thanks, Enrico. Will look into it.
- Henry
On Wed, Aug 25, 2021 at 5:11 AM Enrico Olivelli wrote:
> Hello everyone,
> the merge script has a problem, it downloads only the first page of
> "labels" from GH, so it is not able to find any "type/xxx" label anymore.
>
> I have prepared a fix (I used
Hello everyone,
the merge script has a problem, it downloads only the first page of
"labels" from GH, so it is not able to find any "type/xxx" label anymore.
I have prepared a fix (I used this version to merge a PR)
In my patch I am removing the Python2 version of the script.
I prefer to maintain
