diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-02-20 12:00:57 +0100 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-02-20 17:18:10 +0100 |
| commit | a7cc305a3a6e2886a4f7ec7b8fd9943ff45f286d (patch) | |
| tree | 544d491293fae297478f959ad84be731f469b02d /share | |
| parent | ca54778751856d77f7da2dba051c473a488f7d1e (diff) | |
| download | justbuild-a7cc305a3a6e2886a4f7ec7b8fd9943ff45f286d.tar.gz | |
git repo fetch: support "inherit env"
When fetching git repositories, just-mr routinely shells out to
git. In this case, allow the user to specify via "inherit env",
which environment variables from the host environment should be
made available in this action. Typical variables to inherit are
ones providing credentials, like SSH_AUTH_SOCK. As the repository
description specifies the commit that will be taken, and hence the
resulting tree, correctness is not affected by the environement
leaking in here.
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/just-mr-repository-config.5.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/share/man/just-mr-repository-config.5.md b/share/man/just-mr-repository-config.5.md index dcdee02f..169e9a1d 100644 --- a/share/man/just-mr-repository-config.5.md +++ b/share/man/just-mr-repository-config.5.md @@ -98,6 +98,10 @@ The following fields are supported: files. This entry is optional. If missing, the root directory of the Git repository is used. + - *`"inherit env"`* provides a list of variables. When `just-mr` + shells out to `git`, those variables are inherited from the + environment `just-mr` is called within, if set there. + ### *`"git tree"`* It defines as workspace root as a fixed `git` tree, given by the |