chore(infra): Remove remnants of dgn-dns

2024-02-01 13:35:30 +01:00 · 2024-02-01 13:35:30 +01:00 · ce0dfe5431
commit ce0dfe5431
parent 76ec967fba
6 changed files with 0 additions and 33 deletions
--- a/npins/sources.json
+++ b/npins/sources.json
@ -40,19 +40,6 @@
      "url": "https://api.github.com/repos/nix-community/disko/tarball/v1.3.0",
      "hash": "1lrnvgd5w41wrgidp3vwv2ahpvl0a61c2lai6qs16ri71g00kqn0"
    },
-    "dns.nix": {
-      "type": "GitRelease",
-      "repository": {
-        "type": "Git",
-        "url": "https://git.hubrecht.ovh/hubrecht/dns.nix"
-      },
-      "pre_releases": false,
-      "version_upper_bound": null,
-      "version": "v1.2.1",
-      "revision": "66979725afe2164491be38ffff78460cc9b0ffd7",
-      "url": null,
-      "hash": "1bashjbh71dqs32yld7ihw2vz0vrad73pc35crf3qck8ssgpzv7d"
-    },
    "linkal": {
      "type": "Git",
      "repository": {