Commit graph

8 commits

Author SHA1 Message Date
Griffin Smith
f59e705eca break out an agda.nix 2020-06-15 11:54:14 -04:00
Griffin Smith
0a7b41284d convert hardcoded functions to new functions option 2020-06-08 10:20:00 -04:00
Griffin Smith
d13ef4080d git filter to black from 100chars to 80chars 2020-05-27 09:53:27 -04:00
Griffin Smith
ef2f6f32c1 work email in work repos 2020-05-27 09:53:27 -04:00
Griffin Smith
da6724c979 use kubie from pkgs-unstable 2020-05-26 11:28:42 -04:00
Griffin Smith
9b2dd5c20f break out an urbint development module 2020-05-26 11:28:42 -04:00
Griffin Smith
e085facc30 fix conflict with urbos 2020-05-07 10:57:54 -04:00
Griffin Smith
446c8bfddd Bump kubie, extract kube config 2020-04-28 14:36:57 -04:00