Change has been successfully merged into the git repository. Patch-set: 1 Status: merged Label: SUBM=+1
Patch Set 1: Verified; Looks good to me, approved Patch-set: 1 Reviewer: Gerrit User 1001240 <1001240@173816e5-2b9a-37c3-8a2e-48639d4f1153> Label: Code-Review=+2 Label: Verified=+1
Patch-set: 1 Change-id: I7c6c64d463d3baa361ef7bef8ff3149134819c96 Subject: Fix repo prune output to sort by branch name Branch: refs/heads/master Commit: 7c6c64d463
7c6c64d463