On Tue, Jun 11, 2019 at 11:12 PM Torben Barsballe <
tbarsba...@federal.planet.com> wrote:
> I found it a little strange as well - not sure whats going on there. Maybe
> the backport bot trying to be clever?.
>
>
So as you remember the circleci build was meant to be an integration build
across proj
Nice!
On Sun, 2019-06-09 at 15:54 +0200, Andrea Aime wrote:
> Ok folks,
> added the app to all projects and created labels for geotools and
> geoserver so far.
> I don't have a ready to merge PR to try it out though. If you want to
> try, remember to label
> the PR and that the backports PRs should
Ok folks,
added the app to all projects and created labels for geotools and geoserver
so far.
I don't have a ready to merge PR to try it out though. If you want to try,
remember to label
the PR and that the backports PRs should be created on merge of the main
one.
Cheers
Andrea
On Tue, Jun 4, 20
That does seem quite useful, and I also agree with Ian that a wider usage
of labels on PRs is a good idea.
Cheers,
Torben
On Sun, Jun 2, 2019 at 2:27 AM Ian Turton wrote:
> Sounds good to me +1
>
> I think we could make more use of labels in general to allow spotting bug
> fixes and improvement