On Sun, 2020-10-04 at 21:39 +0200, Björn Persson wrote: > 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:". > It says "create" which means "you may create" ... > Björn Persson > _______________________________________________ > devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx > To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx > Fedora Code of Conduct: > https://docs.fedoraproject.org/en-US/project/code-of-conduct/ > List Guidelines: > https://fedoraproject.org/wiki/Mailing_list_guidelines > List Archives: > https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx -- Sérgio M. B. _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx
