mocobeta commented on issue #11401: URL: https://github.com/apache/lucene/issues/11401#issuecomment-1249216366
> I cannot find any back-link over in the PR that points back to this issue. Yes because the issue migration Jira to GitHub didn't touch any existing PRs. > We should probably adapt a workflow where we include "Fixes #xxx" in the commit-message of PRs. I noticed some people already use "Fixes #xxx" or "Closes #xxx" tips. I'm not so sure if we should/can make people obey any extra rules, but please feel free to propose/proceed with it. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: issues-unsubscr...@lucene.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org --------------------------------------------------------------------- To unsubscribe, e-mail: issues-unsubscr...@lucene.apache.org For additional commands, e-mail: issues-h...@lucene.apache.org
