<div dir="ltr"><br><br><div class="gmail_quote"><div dir="ltr">On Sun, 16 Apr 2017 at 21:24 Nick Coghlan <<a href="mailto:ncoghlan@gmail.com">ncoghlan@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 17 April 2017 at 04:49, Brett Cannon <<a href="mailto:brett@python.org" target="_blank">brett@python.org</a>> wrote:<br>
> Appending to the body of the pull request is an interesting idea. I'm not<br>
> sure what permissions the bot would need to have to be able to do that,<br>
> though (write access with public_repo?).<br>
<br>
If you can figure out how to make it work, I think that plus a status<br>
check would be the best option.<br></blockquote><div><br></div><div>I poked around on a repo where I have write access but not admin access and it looks like at least through the web UI I can edit the PR body. So I *think* there's a good chance it's possible to append to the PR body something like:</div><div><br></div><div><!-- bedevere/issue-number --></div><div>[bpo-NNN](<a href="https://bugs.python.org/issueNNNN">https://bugs.python.org/issueNNNN</a>) is the associated issue with this pull request (and where all non-code discussions should occur, including discussing overall design approaches to solving the issue).</div><div><!-- END bedevere/issue-number --></div><div><br></div><div>Then the bot can look for the comments in the raw Markdown to know where the link is already present.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
Failing that, I think a comment would be a bit spammy, unless Bedevere<br>
was smart enough not to comment on backport PRs.<br></blockquote><div><br></div><div>It's possible if people add the appropriate cherry-pick label to the PR.</div></div></div>