Home
last modified time | relevance | path

Searched hist:d7cd60df712a9001a7087466f56f11befab10cf8 (Results 1 – 1 of 1) sorted by relevance

/libCEED/
H A D.gitlab-ci.ymld7cd60df712a9001a7087466f56f11befab10cf8 Fri Jan 20 03:51:48 UTC 2023 Jed Brown <jed@jedbrown.org> gitlab-ci: use safe.directory to describe system directories

This is a side-effect-free way to describe a repository that may be owned by a different user.

https://github.blog/2022-04-18-highlights-from-git-2-36/#stricter-repository-ownership-checks