#1272 Show opened PR opened near the branch if that branch is in a PR
Merged by pingou. Opened by pingou.
show_opened_pr  into  master

Download 1272.patch
no initial comment

This is the idea:

Screenshot_from_2016-09-06_12-06-49.png

Would "PR#1234" be a better label you think? rather than "see PR"?

other than that thought, a big :thumbsup: from me (not a code review though)

1 new commit added

  • Adjust the label to be PR#<id> rather than See PR

Good idea, adjusted :)

Looks sane to me, but no test case to update?

Apparently there was none no, I'll see about adding some but maybe in another PR

Let's merge, we can add the tests a little later :)

Pull-Request has been merged by pingou

Metadata