diff options
-rw-r--r-- | agenda/create kartei repo.md | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/agenda/create kartei repo.md b/agenda/create kartei repo.md index e7dd3bf..f58998d 100644 --- a/agenda/create kartei repo.md +++ b/agenda/create kartei repo.md @@ -8,8 +8,8 @@ The kartei repository should contain all shared data (and nothing else), in part To use kartei in stockholm, it need to be augmented, i.e. stuff like `ci`, `cores`, etc. needs to be added (on a per-user basis?) Instead of a separate repository, start by using `<stockholm/kartei>`. -- move <stockholm/krebs/3modules/${username}> to kartei -- move <stockholm/krebs/3module/external/${username}.nix> to kartei -- move <stockholm/krebs/3module/external.nix> to kartei -- update documentation - - [https://github.com/krebs/retiolum/blob/master/README.md](https://github.com/krebs/retiolum/blob/master/README.md) +- [x] move <stockholm/krebs/3modules/${username}> to kartei +- [x] move <stockholm/krebs/3module/external/${username}.nix> to kartei +- [x] move <stockholm/krebs/3module/external.nix> to kartei +- [ ] update documentation + - [ ] [https://github.com/krebs/retiolum/blob/master/README.md](https://github.com/krebs/retiolum/blob/master/README.md) |