tree c97a59df14ca5e7c3953b4fac038c09b2033d207
parent ac64fd7b27ca511738801b7ac2dbb9439615183b
author kchodorow <kchodorow@google.com> 1492621130 +0200
committer Klaus Aehlig <aehlig@google.com> 1492679193 +0200

Add repository override option

RELNOTES: Adds a --override_repository option that takes a repository
name and path. This forces Bazel to use the directory at that path
for the repository. Example usage:
`--override_repository=foo=/home/user/gitroot/foo`.

Fixes #1266

PiperOrigin-RevId: 153599291