Fix BASE_REMOTE in .travis-docker.sh in CentOS 7 containers #222
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.
When I specified a BASE_REMOTE that is completely separate from the
opam-repository, the older git version in the CentOS 7 container printed
a "no common commits" warning and failed to get the contents of the
master branch of the BASE_REMOTE.
I've fixed this by changing the fetch command to fetch the whole remote,
not just the master branch, this works in CentOS 7 too. This is probably
still more efficient for BASE_REMOTEs that are forks of opam-repository
than just deleting the directory and cloning BASE_REMOTE.
Signed-off-by: Gabor Igloi gabor.igloi@citrix.com