diff options
author | sterni <sternenseemann@systemli.org> | 2021-09-09T16·26+0200 |
---|---|---|
committer | sterni <sternenseemann@systemli.org> | 2021-09-10T11·08+0000 |
commit | 318d10e60875ef69132651668a249de75730d2ba (patch) | |
tree | aa3afe8c249edf6ab398657895afbfd271ef91b1 /default.nix | |
parent | 5d5fb4e6a1b3baee89d89f17ebc11bc19888c59a (diff) |
chore(nint): move from //users/sterni to //nix r/2833
Since //web/bubblegum depends on nint, we need to move it to a non user directory to conform with the policy established via cl/3434. Note that this likely doesn't mean greater stability (which isn't really implied in depot anyways), since I still would like to use a more elaborate calling convention to allow for additional useful features. Change-Id: I616f905d8df13e3363674aab69a797b0d39fdd79 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3506 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
Diffstat (limited to 'default.nix')
-rw-r--r-- | default.nix | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/default.nix b/default.nix index 77fb4ae544b7..866b3fa6bfe9 100644 --- a/default.nix +++ b/default.nix @@ -34,11 +34,6 @@ let # TODO(tazjin): Can this one be removed somehow? [ "ops" "nixos" ] [ "ops" "machines" "all-systems" ] - - # //web/bubblegum has examples using //users/sterni, they should - # probably be in the user folder instead with a link there. - # TODO(sterni): Clean this up. - [ "web" "bubblegum" ] ] then args else args // { |