push to specific remote

[extrawurst]

followup to #491:

in case of no remote being named origin and multiple remotes being known we currently pick the first.
we should rather open a popup and have the user select from the list of remotes.

[stale]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.