Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2021-09-27 | r/2922 fix(gs/emacs): Disable idris temporarily | Griffin Smith | 1 | -1/+1 | |
This doesn't work right now, and I'm not currently writing any idris Change-Id: I7c090ad9f05c5d24f4f80fdd444e8995629aaba4 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3641 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi> | |||||
2021-04-12 | r/2485 refactor(users/glittershark): Rename to grfn | Griffin Smith | 1 | -0/+234 | |
Rename my //users directory and all places that refer to glittershark to grfn, including nix references and documentation. This may require some extra attention inside of gerrit's database after it lands to allow me to actually push things. Change-Id: I4728b7ec2c60024392c1c1fa6e0d4a59b3e266fa Reviewed-on: https://cl.tvl.fyi/c/depot/+/2933 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in> Reviewed-by: lukegb <lukegb@tvl.fyi> Reviewed-by: glittershark <grfn@gws.fyi> |