GitHub PR extension allows you to manage pull requests directly from VSCodeblog.github.com3 pointssaranshk7 years ago