4 ms·Git-getpull: Quickly find the pull request that merged your commit to master8 points by jsomers 13y ago