tvl-depot/users/sterni
sterni d2fa4e7c86 chore(3p/sources): Bump channels & overlays
* //ops/modules/depot-inbox: Adapt to upstream option type declaration.
  See nixpkgs commit b6ed3b8f402893df91a8e21ce993520301c2f076.

* //ops/machines/sanduny, //users/tazjin/polyanka:
  Remove boot.loader.grub.version options (no longer has any effect).

* //users/sterni/emacs: reflect rename emacsPgtk -> emacs-pgtk

* //3p/overlays: update tdlib to match emacs-overlay

* //3p/overlays: give EXWM from depot a separate name

* //users/grfn/system/home: disable Slack support in ntfy

Change-Id: I03bde088bc70e05b23925f244899807210cb7b20
Reviewed-on: https://cl.tvl.fyi/c/depot/+/8547
Autosubmit: sterni <sternenseemann@systemli.org>
Reviewed-by: sterni <sternenseemann@systemli.org>
Reviewed-by: grfn <grfn@gws.fyi>
Tested-by: BuildkiteCI
Reviewed-by: tazjin <tazjin@tvl.su>
2023-06-15 17:09:02 +00:00
..
clhs-lookup style: format entire depot with nixpkgs-fmt 2022-01-31 16:11:53 +00:00
dot-time-man-pages chore(gerrit): migrate OWNERS files to code-owners style 2022-09-19 11:13:28 +00:00
emacs chore(3p/sources): Bump channels & overlays 2023-06-15 17:09:02 +00:00
exercises/aoc feat(sterni/aoc/2022): day16 part 1 k solution 2023-01-22 14:36:01 +00:00
external chore(sterni/external/likely-music): update to 2023-02-07 2023-03-01 13:40:55 +00:00
htmlman style: format entire depot with nixpkgs-fmt 2022-01-31 16:11:53 +00:00
lv/gopher feat(sterni/lv): interim gopher page 2022-11-26 15:38:28 +00:00
machines fix(sterni/machines/edwin): use https for saneterm git upstream 2023-04-29 12:55:25 +00:00
mblog refactor(sterni/mblog): move REDIRECT-STREAM into mime4cl 2023-05-18 16:16:39 +00:00
modules chore(sterni/machines/edwin): minecraft 1.19.2 -> 1.19.4 2023-04-05 16:56:49 +00:00
nix chore: remove comments formerly meant for alignment 2023-05-31 10:55:07 +00:00
nixpkgs-crate-holes chore(3p/sources): Bump channels & overlays 2022-09-28 08:02:31 +00:00
secrets feat(sterni/machines): add edwin 2022-11-26 15:51:31 +00:00
keys.nix chore(sterni/keys): add ludwig ssh key 2022-10-07 16:17:15 +00:00
OWNERS chore(gerrit): migrate OWNERS files to code-owners style 2022-09-19 11:13:28 +00:00