<div dir="ltr"><div>Even if we don't change this, It's something we should keep in mind since our PR #s are currently in a spot where they may frequently overlap with issue #s.  At some point they'll diverge again and it won't be so much of an issue, but currently it is.<br><br></div>I don't know precisely how the redmine integration works, but perhaps we could change the syntax to "closes redmine #xxxx"?<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Jan 8, 2018 at 10:41 AM, David Davis <span dir="ltr"><<a href="mailto:daviddavis@redhat.com" target="_blank">daviddavis@redhat.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Today, I had a PR[0] that was accidentally closed by another PR[1]. The issue is that the format we’re using attach our commits to redmine issues (e.g. 'fixes #1234’) is the exact same format as what Github uses[2]. <div><br></div><div>I’m wondering if we should change our format. I hate to do so but at the same time, I worry about PRs getting closed by accident in the future. Thoughts?<div><br></div><div>[0] <a href="https://github.com/pulp/pulp/pull/3245" target="_blank">https://github.com/pulp/<wbr>pulp/pull/3245</a></div><div><a href="https://github.com/pulp/pulp/pull/3245" target="_blank"></a>[1] <a href="https://github.com/pulp/pulp/pull/3252" target="_blank">https://github.com/pulp/<wbr>pulp/pull/3252</a><br clear="all"><div><div class="m_6916105899191332417gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div>[2] <a href="https://help.github.com/articles/closing-issues-using-keywords/" target="_blank">https://help.github.com/<wbr>articles/closing-issues-using-<wbr>keywords/</a></div><span class="HOEnZb"><font color="#888888"><div><br></div><div>David<br></div></font></span></div></div></div></div></div></div></div>
</div></div></div>
<br>______________________________<wbr>_________________<br>
Pulp-dev mailing list<br>
<a href="mailto:Pulp-dev@redhat.com">Pulp-dev@redhat.com</a><br>
<a href="https://www.redhat.com/mailman/listinfo/pulp-dev" rel="noreferrer" target="_blank">https://www.redhat.com/<wbr>mailman/listinfo/pulp-dev</a><br>
<br></blockquote></div><br></div>