Refined-github: Show branch name in PR list

Created on 26 Apr 2016 · 5Comments · Source: sindresorhus/refined-github

I'd love to see which branch will be/was merged in the PR list. The use case currently bugging me is that I haven't cleaned my local branches for a while 😊

Currently I'm going into each PR to see what was merged when.

enhancement help wanted

Source

thomassnielsen

👍5

Most helpful comment

No, #103 wants to show which branch you're merging into, while I want to see what branch you're merging from 😄

thomassnielsen on 26 Apr 2016

👍2

All 5 comments

Duplicate of https://github.com/sindresorhus/refined-github/issues/103?

sindresorhus on 26 Apr 2016

No, #103 wants to show which branch you're merging into, while I want to see what branch you're merging from 😄

thomassnielsen on 26 Apr 2016

👍2

So maybe something like

paulmolluzzo wants to merge 1 commit into master from show-created-repos-css

from the PR details page might cover both.

thomassnielsen on 26 Apr 2016

👍1

@thomassnielsen if you want to see what's been merged into master just do git branch --merged master. This is probably a better way to get that list then visually parsing info out of a list of GitHub.

paulmolluzzo on 26 Apr 2016

@thomassnielsen I'm personally using this:

git log --oneline --first-parent --since=1.month.ago origin/master

Output:

b12ad0b Remove "pro tip" box on profile page (appears when name isn't set) (#316)
793f803 1.9.1
f6e4e95 fix diff unalignment
e12cc48 make XO happy
5a4fbb8 1.9.0
4d8e18c Easier copy-pasting from diffs by making +/- signs unselectable (#282)

And I have some nice pretty options with an alias so in the end it's like that:
Screenshot of terminal with git-log and pretty formatting