diff options
| author |  dannark <dannark@google.com> | 2018-07-02 01:58:01 -0700 |
|---|---|---|
| committer |  Copybara-Service <copybara-piper@google.com> | 2018-07-02 01:59:18 -0700 |
| commit | 6c87dfc7a1e3e9879c2e87c5689db779136892fa (patch) | |
| tree | 8a8f53eaf78dbc8d9861ca03b2b2a180fb657d67 /tools | |
| parent | 0e3df78b0b4f5af22a5c38980465fde87cc929ad (diff) | |
Fix typo in doc
RELNOTES: None
PiperOrigin-RevId: 202914788
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/build_defs/repo/git.bzl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/build_defs/repo/git.bzl b/tools/build_defs/repo/git.bzl index 3663dc804f..8b283cf9b0 100644 --- a/tools/build_defs/repo/git.bzl +++ b/tools/build_defs/repo/git.bzl @@ -99,7 +99,7 @@ set -ex def _update_commit(orig, keys, override): # Merge the override information into the dict, resulting by taking the - # given keys, as well as the name, form orig (if present there). + # given keys, as well as the name, from orig (if present there). result = {} for key in keys: if getattr(orig, key) != None: @@ -155,7 +155,7 @@ new_git_repository = repository_rule( Clones a Git repository, checks out the specified tag, or commit, and makes its targets available for binding. Also determine the id of the -commit actually checkted out and its date, and return a dict with paramters +commit actually checked out and its date, and return a dict with paramters that provide a reproducible version of this rule (which a tag not necessarily is). @@ -213,7 +213,7 @@ git_repository = repository_rule( Clones a Git repository, checks out the specified tag, or commit, and makes its targets available for binding. Also determine the id of the -commit actually checkted out and its date, and return a dict with paramters +commit actually checked out and its date, and return a dict with paramters that provide a reproducible version of this rule (which a tag not necessarily is). |