git-pull-request

JavaScript ★ 24 updated 7y ago

A cli utility to pull a remote branch based on a github PR number

No plain-English explanation yet — one is being written right now. Check back in a minute.