Revise Git merging instructions for *.mpr* files#10388

tknippenberg wants to merge 2 commits intomendix:developmentmendix/docs:developmentfrom

tknippenberg:patch-59tknippenberg/docs:patch-59Copy head branch name to clipboard