<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">https://github.com/pulp/pulp/pull/3245</a></div><div><a href="https://github.com/pulp/pulp/pull/3245"></a>[1] <a href="https://github.com/pulp/pulp/pull/3252">https://github.com/pulp/pulp/pull/3252</a><br clear="all"><div><div class="gmail_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/">https://help.github.com/articles/closing-issues-using-keywords/</a></div><div><br></div><div>David<br></div></div></div></div></div></div></div></div>
</div></div></div>