- GitHub now parses
#n
in comments even if they are inside backticks, so we had to update the comment "your PR is #n in the queue" to avoid GitHub interpreting that#n
as a link to a Pull Request. - queue textual status (when accessing bot URL in a browser) is now more readable