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 /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 '')
-rw-r--r-- | nix/nint/OWNERS | 3 | ||||
-rw-r--r-- | nix/nint/README.md (renamed from users/sterni/nint/README.md) | 0 | ||||
-rw-r--r-- | nix/nint/default.nix (renamed from users/sterni/nint/default.nix) | 0 | ||||
-rw-r--r-- | nix/nint/nint.rs (renamed from users/sterni/nint/nint.rs) | 0 |
4 files changed, 3 insertions, 0 deletions
diff --git a/nix/nint/OWNERS b/nix/nint/OWNERS new file mode 100644 index 0000000000..f16dd105d7 --- /dev/null +++ b/nix/nint/OWNERS @@ -0,0 +1,3 @@ +inherited: true +owners: + - sterni diff --git a/users/sterni/nint/README.md b/nix/nint/README.md index ddd8045f73..ddd8045f73 100644 --- a/users/sterni/nint/README.md +++ b/nix/nint/README.md diff --git a/users/sterni/nint/default.nix b/nix/nint/default.nix index 5cf83d15d6..5cf83d15d6 100644 --- a/users/sterni/nint/default.nix +++ b/nix/nint/default.nix diff --git a/users/sterni/nint/nint.rs b/nix/nint/nint.rs index 3d43061285..3d43061285 100644 --- a/users/sterni/nint/nint.rs +++ b/nix/nint/nint.rs |