title: Install extension from a specific repo/branch on GitHub?
body: <p>I'm using a VS Code extension that has a bug. It has been fixed in a pull request on GitHub, but the repository seems to be abandoned and the PR is not getting merged.</p>
  
  <p>How do I install an extension directly from a specific repo/branch on GitHub?</p>