Alex Ross

Discussed this on Wednesday with Joao: I think we need a transient subtree or view in the PRs view for "show pull request by number".

@SirzBenjie can you manage which account the extension uses? 

@SirzBenjie is this a public repo? Can you share the output from `git remote -v`?

Moving to July