Think we figured that out, without a personal access token the workflows in
the generated PRs would not be run.
Cheers
Andrea
On Sun, Jun 5, 2022 at 4:54 PM Andrea Aime
wrote:
> Hi all,
> I'm trying to set the backport bot up again in the GeoServer project.
> Seeing that you have it running, I
Hi all,
I'm trying to set the backport bot up again in the GeoServer project.
Seeing that you have it running, I copied over the set up, and indeed,
it seems to be working fine for us as well (thanks!).
One difference still outstanding is the github token being used,
I've set up the common "secret