529: Change own repository location r=Mic92 a=JayRovacsek



Co-authored-by: jayrovacsek <jay@rovacsek.com>
This commit is contained in:
bors[bot] 2023-02-07 08:35:28 +00:00 committed by GitHub
commit ea138c5e0a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -14,9 +14,9 @@
"url": "https://gricad-gitlab.univ-grenoble-alpes.fr/Projets-INFO4/18-19/19/code"
},
"JayRovacsek": {
"file": "pkgs/default.nix",
"file": "packages/default.nix",
"github-contact": "JayRovacsek",
"url": "https://github.com/JayRovacsek/nix-packages"
"url": "https://github.com/JayRovacsek/nix-config"
},
"ProducerMatt": {
"github-contact": "ProducerMatt",