<div dir="ltr">And sometimes the author might forget to close the issue or forget to add the<div>commit comment when the pull request has been merged by using the GItHub UI.<div><div>CODETOOLS-7902804 [1] is an example.<br></div><div><br></div><div>[1] <a href="https://bugs.openjdk.org/browse/CODETOOLS-7902804">https://bugs.openjdk.org/browse/CODETOOLS-7902804</a></div></div></div></div>