diff options
| author | Klaus T. Aehlig <aehlig@linta.de> | 2023-03-02 19:52:57 +0100 |
|---|---|---|
| committer | Klaus T. Aehlig <aehlig@linta.de> | 2023-03-02 19:52:57 +0100 |
| commit | 16b04bcb5f8a84409ae1a864882d768acac9a680 (patch) | |
| tree | ab132d45ce6d0fe7bce691f383ba14ee8b21b608 /src/other_tools/git_operations/git_repo_remote.hpp | |
| parent | 2037d87d34c2a94b48b148b4151c1343169a5568 (diff) | |
| download | justbuild-16b04bcb5f8a84409ae1a864882d768acac9a680.tar.gz | |
just-mr: change wording in info message
When asked to setup, report the number of repositories as repositories
to "set up", not to "check out". Typically, we're not creating a
checkout of that repository in the sense that some directory would
contain the file strucutre of that repository in the file system.
Typically, fetch into our big git repo, or create an artifical
commit there to keep the resulting git tree there.
Diffstat (limited to 'src/other_tools/git_operations/git_repo_remote.hpp')
0 files changed, 0 insertions, 0 deletions