| commit | 6a1528071dd536bdba7a91f350e03f99432d15c6 | [log] [tgz] |
|---|---|---|
| author | Guillaume Nodet <gnodet@gmail.com> | Wed May 04 14:03:23 2022 +0200 |
| committer | GitHub <noreply@github.com> | Wed May 04 14:03:23 2022 +0200 |
| tree | 1e5e70fd829665c6c482fa5b9dbf6ecc30f7bc75 | |
| parent | 50bfcf8c151b6857704b21731ea75125cfcfbbfe [diff] |
Use the easier --user option of docker (#628, #639)