Adam Williamson wrote:
On Sun, 2020-10-04 at 12:31 +0200, Vitaly Zaitsev via devel wrote:
> On 04.10.2020 12:04, Barry Scott wrote:
> > Why is a PR being created? I'm the maintainer and have not seen this
before.
>
> It just suggests you to create a pull request. Just ignore.
Right. It's not saying a pull request *has been created*, it's giving
you a URL that *would create a pull request* (after confirmation) if
you clicked on it.
Obviously the message is unclear. Instead of "Create a pull-request",
it would be better if it said "You can create a pull-request here:".
Björn Persson