Skip to content

prefer origin to push #494

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
extrawurst opened this issue Jan 16, 2021 · 0 comments · Fixed by #544
Closed

prefer origin to push #494

extrawurst opened this issue Jan 16, 2021 · 0 comments · Fixed by #544
Milestone
v0.12

Comments

@extrawurst
Copy link
Collaborator

extrawurst commented Jan 16, 2021 •
edited
Loading

in case multiple remotes are present we currently pick the first in the list. we should automatically pick origin if present.

see also #492
extrawurst pushed a commit that referenced this issue Feb 24, 2021
prefer 'origin' as default remote if it exists (closes #494)
cea440d
extrawurst pushed a commit that referenced this issue Feb 24, 2021
prefer 'origin' as default remote if it exists (closes #494)
0d79468 
fix clippy
update changelog
@extrawurst extrawurst added this to the v0.12 milestone Feb 24, 2021
extrawurst pushed a commit that referenced this issue Feb 24, 2021
prefer 'origin' as default remote if it exists (closes #494)
cef463f
@extrawurst extrawurst mentioned this issue Feb 24, 2021
Merged
extrawurst pushed a commit that referenced this issue Feb 24, 2021
prefer 'origin' as default remote if it exists (#544)
a53ec16 
closes #494
extrawurst pushed a commit that referenced this issue May 27, 2021
prefer 'origin' as default remote if it exists (#544)
acdb302 
closes #494
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
v0.12
Development

Successfully merging a pull request may close this issue.

prefer 'origin' as default remote if it exists gitui-org/gitui
1 participant
@extrawurst