diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2022-05-02 13:31:30 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-02 13:31:30 +0200 |
commit | a26be9f3b89be2ee90c6358250b9889b37f95cf8 (patch) | |
tree | 5a8c0501a2dd78805b02843f3fc785c728bf8349 /tests/user-envs.nix | |
parent | dde71899dd075a2d6479c8b953041b470bdfc19b (diff) | |
parent | 9bf296c970bf33b7ed53d7e2d8fbe44197482518 (diff) |
Merge pull request #4638 from orbekk/read_head
Resolve reference for remote git repositories (makes fetchGit work with non-'master' branch)
Diffstat (limited to 'tests/user-envs.nix')
0 files changed, 0 insertions, 0 deletions