Skip to content
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

support pull from remote #920

Closed
extrawurst opened this issue Sep 29, 2021 · 1 comment · Fixed by #945
Closed

support pull from remote #920

extrawurst opened this issue Sep 29, 2021 · 1 comment · Fixed by #945
Labels
enhancement New feature or request
Milestone
v0.19

Comments

@extrawurst
Copy link
Collaborator

extrawurst commented Sep 29, 2021 •
edited
Loading

merge into current HEAD from a remote tracking branch without first checking out locally
@extrawurst extrawurst added this to the v0.18 milestone Sep 29, 2021
@extrawurst extrawurst added the enhancement New feature or request label Sep 29, 2021
@extrawurst extrawurst modified the milestones: v0.18, v0.19 Oct 11, 2021
@R0nd
Copy link
Contributor

R0nd commented Oct 12, 2021

Added in #945

@R0nd R0nd mentioned this issue Oct 12, 2021
Merged
4 tasks
extrawurst pushed a commit that referenced this issue Oct 13, 2021
@R0nd
support pull from remote (#945)
153c79a 
closes #920
extrawurst pushed a commit that referenced this issue Oct 23, 2021
@R0nd
support pull from remote (#945)
33bb6bb 
closes #920
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
v0.19
Development

Successfully merging a pull request may close this issue.

support pull from remote R0nd/gitui
2 participants
@extrawurst @R0nd