<div dir="ltr"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><span style="font-size:12.8px">I believe </span><a href="https://github.com/python/bedevere/pull/82" rel="noreferrer" target="_blank" style="font-size:12.8px">https://github.com/python/bede<wbr>vere/pull/82</a><span style="font-size:12.8px"> will add a comment, which will get emailed to everyone nosy on the PR.</span></blockquote><div class="gmail-yj6qo gmail-ajU" style="font-size:12.8px"><div id="gmail-:1jw" class="gmail-ajR" tabindex="0"><img class="gmail-ajT" src="https://ssl.gstatic.com/ui/v1/icons/mail/images/cleardot.gif" style="opacity: 0.3;"></div></div><div class="gmail_extra">Yes, and I've just updated my PR description: </div><div class="gmail_extra"><br></div><div class="gmail_extra"><span style="color:rgb(36,41,46)"><font face="arial, helvetica, sans-serif" style="">I</font></span><font face="arial, helvetica, sans-serif"><span style="color:rgb(36,41,46)">f a PR was merged and the commit message was not changed from </span><code style="box-sizing:border-box;padding:0.2em 0.4em;margin:0px;background-color:rgba(27,31,35,0.05);border-radius:3px;color:rgb(36,41,46)">#NNNN</code><span style="color:rgb(36,41,46)"> to </span><code style="box-sizing:border-box;padding:0.2em 0.4em;margin:0px;background-color:rgba(27,31,35,0.05);border-radius:3px;color:rgb(36,41,46)">GH-NNNN</code><span style="color:rgb(36,41,46)">, bedevere-bot will leave a comment to remind the core dev to update it next time.</span><br style="box-sizing:border-box;color:rgb(36,41,46)"><span style="color:rgb(36,41,46)">For example:</span></font></div><div class="gmail_extra"><font face="arial, helvetica, sans-serif"><span style="color:rgb(36,41,46)">```</span></font></div><div class="gmail_extra"><font face="arial, helvetica, sans-serif">@Mariatta: Please replace # with GH- in the commit message next time. Thanks!</font></div><div class="gmail_extra"><font face="arial, helvetica, sans-serif">```</font></div><div class="gmail_extra"><font face="arial, helvetica, sans-serif"><br></font></div><div class="gmail_extra"><font face="arial, helvetica, sans-serif">Does that work for everyone?</font></div><div class="gmail_extra"><div><div class="gmail_signature"><br></div><div class="gmail_signature">Mariatta Wijaya</div></div><br></div></div>