LGTM, thanks!

While you're in the neighbourhood, how about backticks rather than quotation marks around  `PLS REBUILD/pr-scala@abc12345` to turn of the annoying hyperlinkification?

I almost did this myself today but the balked but then tried to figure out how to avoid the links in the comment that the user has to write; maybe use `\` instead of `/`; but where is that parsed?; oh man it's actually documented in a heap of places; too hard....

But now I see this line of code a second time, let's not let the great defeat the good!