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

Open

steffahn wants to merge 2 commits intorust-lang:masterfrom steffahn:patch-1

+6-2

Commits on Jun 21, 2021

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