Hi Jody,
sure not a problem, I can back off the commit that does the massive change
and re-run the script later. When will you be done with the mbstyle bit?
Cheers
Andrea
On Sun, Feb 2, 2020 at 11:22 AM Jody Garnett wrote:
> I have been fixing some of that stuff for mbstyle by hand. So I would
I have been fixing some of that stuff for mbstyle by hand. So I would be
pretty much assured a conflict.
Can we coordinate and run your see after?
On Sun, Feb 2, 2020 at 11:01 AM Andrea Aime
wrote:
> Hi all,
> the github dependabot opened a PR to upgrade checkstyle, as it has a
> vulnerability.
Hi all,
the github dependabot opened a PR to upgrade checkstyle, as it has a
vulnerability... don't think we'd
be much affected, but the bot is going to be persistent and open new PRs
for it in the future, so I've
tried to fix it.
There is however a catch... checkstyle changed enough that our curr
