Add owner/name prefix to PR number in “Auto merge of …”/“Rollup merge of …” message#145

steffahn wants to merge 2 commits intorust-lang:masterrust-lang/homu:masterfrom

steffahn:patch-1steffahn/homu:patch-1Copy head branch name to clipboard