Github: How do I change the remote to see PRs associated

Created on 16 Jun 2017  路  4Comments  路  Source: atom/github

Once I selected a remote, How do I change it to another one?

enhancement github

Most helpful comment

There's some missing UI here to get back to the remote selection state (/cc @simurai for thoughts).

In the meantime, the current remote is stored in your repository's git configuration, so you can edit that directly:

git config --unset atomGithub.currentRemote

All 4 comments

screen shot 2017-06-17 at 03 27 19

Selected origin remote instead of upstream so I landed here too. I tried enabling and disabling the package but that didn't work.

There's some missing UI here to get back to the remote selection state (/cc @simurai for thoughts).

In the meantime, the current remote is stored in your repository's git configuration, so you can edit that directly:

git config --unset atomGithub.currentRemote

For now could be similar to a pinned PR:

image

But if, then only short term. Some sort of GitHub browser/filter, like https://github.com/atom/github/pull/714#issuecomment-298145826 is still the better approach.

Was this page helpful?
0 / 5 - 0 ratings