Skip to content
This repository was archived by the owner on Dec 15, 2022. It is now read-only.

Fetch/push/pull #121

Merged
merged 59 commits into from
Apr 7, 2016
Merged

Fetch/push/pull #121

merged 59 commits into from
Apr 7, 2016

Conversation

joshaber
Copy link
Contributor

@joshaber joshaber commented Apr 5, 2016

⚠️ Dependent on #63. ⚠️

Fixes #85 and #123. Currently terribly ugly but functional.

  • Write config entries after pushing a new branch.
  • Verify that pull does The Right Thing.
  • Command to fetch.
  • Command to push.
  • Command to pull.
  • Are we getting progress info?
  • Figure out how to test it.

screen shot 2016-04-05 at 2 44 41 pm

@joshaber
Copy link
Contributor Author

joshaber commented Apr 6, 2016

This is close. Just need to verify that the pull implementation does the right thing.

@joshaber
Copy link
Contributor Author

joshaber commented Apr 6, 2016

libgit2/objective-git#464 (comment) is the most thorough mechanical description of pull I've found to date.

@joshaber joshaber changed the title [WIP] Fetch/push/pull Fetch/push/pull Apr 7, 2016
@joshaber
Copy link
Contributor Author

joshaber commented Apr 7, 2016

This is working well enough to land and iterate on 🤘

@joshaber
Copy link
Contributor Author

joshaber commented Apr 7, 2016

/cc @simurai as it could use your 🎨 👀 when you get a chance.

@joshaber joshaber merged commit ab5160d into master Apr 7, 2016
@joshaber joshaber deleted the push-pull branch April 7, 2016 17:36
@joshaber
Copy link
Contributor Author

joshaber commented Apr 7, 2016

Also worth noting that this will only work if you have the GitHub package installed with #63 checked out.

@thedaniel
Copy link
Contributor

#63 is merged, yo

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants