diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2024-12-17 12:22:17 +0100 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2025-01-10 12:47:02 +0100 |
| commit | 211b278ad0dc6620ea797796a53ed223fc26a800 (patch) | |
| tree | 85e1f5cc58de590b1fd13c16f546b26bab44fdd5 /doc/tutorial/getting-started.md | |
| parent | 8561f81c11b56581f0e7860b3421406849e3a9a0 (diff) | |
| download | justbuild-211b278ad0dc6620ea797796a53ed223fc26a800.tar.gz | |
just-lock: Try also mirrors when importing known commit from Git repos
When commit to fetch is known, check mirrors before going to the
main URL.
While there, ensure the context for logging in the checkout method is
not replaced, but appended to.
Diffstat (limited to 'doc/tutorial/getting-started.md')
0 files changed, 0 insertions, 0 deletions