diff options
author | sterni <sternenseemann@systemli.org> | 2021-12-16T16·15+0100 |
---|---|---|
committer | sterni <sternenseemann@systemli.org> | 2021-12-16T18·11+0000 |
commit | faca687dda83d5c7eaf0d6daaddd4b5db3aebbe0 (patch) | |
tree | 84d96883c3e19b57dfd398b701735c8a5eb0c9a5 /third_party/gerrit_plugins/default.nix | |
parent | 3bf3f9510562e98b51d6f771f2f37dc88f165af2 (diff) |
fix: make sure depot.path is named "depot" (again) r/3268
It is a reasonable enough assumption that depot.path will have the store path name "depot". In the past this used to be the case, since most people would checkout the repository as "depot" (funnily enough in the past, you wouldn't have been able to substitute some things if you used a different name). When we started to use cleanSource for depot.path the default name "source" would be assigned, breaking e. g. the assumptions of //web/todolist. We now set to "depot" statically. Fixes: b/162 Change-Id: I72fdb488e045bdaee80d1df0334b026060dcd116 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4381 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in> Reviewed-by: grfn <grfn@gws.fyi>
Diffstat (limited to 'third_party/gerrit_plugins/default.nix')
0 files changed, 0 insertions, 0 deletions