Option to track merged PR's
TehPeGaSuS opened this issue · comments
Currently we can follow the opening and closing of PRs.
Unfortunately, there's no way to see when a PR gets merged, unless we go to GitHub.
I was wondering if it be possible to have such feature?
Cheers
"Close" currently means both close as in canceled or merged. We don't however have an option to just track merged PR ignoring ones that were closed. Could be a good addition. We can add pcc and pcm to specify just cancelled or merged. Is that what you are looking for?
Yes, exactly! Sorry for the bad wording/explanation. 😄
It'd be even more awseome if when it is merged we can see something like [pr-merged] instead the current [pr-closed], if possible. If not, I'm fine with it as it is.
Cheers