GIT PULL: pass a remote to a merge() function #76
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
amending it improperly reports "Already up-to-date"
i.e.: local "HEAD" and "origin/master" differ (after g.fetch)
-- do g.pull, it will try to merge local "master" to local "HEAD"
and will say "Already up-to-date"
-- try explicit 'git.pull("origin","master","origin pull")'
it will call 'fetch("origin"), then 'merge("master","origin pull")
without taking remote into account
or am I misunderstanding what it supposed to do?