#6670: Edit in PR, edit in base, "update PR", restore-file#70

fregante wants to merge 3 commits into

default-arefined-github/sandbox:default-afrom

6670refined-github/sandbox:6670Copy head branch name to clipboard