replay: replace the_repository with repo parameter passed to cmd_replay#1921

newren wants to merge 1 commit intogitgitgadget:mastergitgitgadget/git:masterfrom

newren:replay-reponewren/git:replay-repoCopy head branch name to clipboard