Closed IanButterworth closed 10 months ago
Otherwise #12345 was being expanded to General PRs not PRs on the origin repo.
#12345
The many backticks allows this to work:
hello
world
Shouldn't be deployed until https://github.com/JuliaRegistries/TagBot/pull/293 is deployed
Otherwise
#12345
was being expanded to General PRs not PRs on the origin repo.The many backticks allows this to work:
hello
world