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@lists.fedoraproject.org
> To unsubscribe send an email to devel-le...@lists.fedoraproject.org
> 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@lists.fedoraproject.org
-- 
Sérgio M. B.
_______________________________________________
devel mailing list -- devel@lists.fedoraproject.org
To unsubscribe send an email to devel-le...@lists.fedoraproject.org
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@lists.fedoraproject.org

Reply via email to