Sean Allred

It's a standard message provided by magithub-edit-thing. I'd be fine with changing the message, but it would need to make sense for anything you might want to edit.

Not quite. In fact, `magithub-edit-thing` is [remapped to different functions in different keymaps](https://github.com/vermiculus/magithub/search?q=%22remap+magithub-edit-thing%22&unscoped_q=%22remap+magithub-edit-thing%22).

How do you mean? I'm guessing something that remembers all users whose repositories you've cloned?

I think nick-names is over-engineering; if something like that is desired, it wouldn't be too difficult to have as an add-on package. A completing read over users will already complete...

I'm assuming you did push the branch before trying to open the PR? Assuming you still have the branch around (or a branch that can reproduce this issue; feel free...

Ah, yes; this is working as designed, though I am a little confused: does magit know to push `a-branch` to `origin`? I thought when you pushed a branch, it sets...

I'm not sure. @tarsius, do you have any wisdom on how `pushDefault` is set? Is this a git thing or a magit thing?

I'm trying to get the upstream remote. Would I be correct in saying that branch.pushDefault should be preferred, but branch.remote could be a fallback? Edit More specifically I'm trying to...

Out of curiosity, why? For a more birds-eye view, perhaps? (Just trying to understand the UX aspect 😄)

> click the label to filter issues like the github web interface That by itself is an interesting idea; can you create a new issue for that? 😄 The development...