tvl-depot/users
Vincent Ambo e59d263b44 chore(3p/sources): bump channels & overlays (2023-12-06)
* 3p/rust-crates: fix names of crate URLs to accommodate recent
  crates.io changes:

  https://blog.rust-lang.org/2023/10/27/crates-io-non-canonical-downloads.html

* 3p/rust-crates: fix comment describing what this is

* 3p/overlays: discard custom overrides of Nix 2.3: it's now
  maintained properly upstream

* users/wpcarro/emacs: disable doom themes package

Change-Id: Ic5def77319a0a55e78c8ffe05b9309d59784cfd9
Reviewed-on: https://cl.tvl.fyi/c/depot/+/10204
Reviewed-by: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
Autosubmit: tazjin <tazjin@tvl.su>
2023-12-06 12:39:38 +00:00
..
aaqaishtyaq chore(users/aaqaishtyaq): add OWNERS file 2022-12-10 17:28:57 +00:00
cynthia chore(gerrit): migrate OWNERS files to code-owners style 2022-09-19 11:13:28 +00:00
edef feat(users/edef/refscan): AArch64 support 2023-01-11 20:10:38 +00:00
ericvolp12 chore(gerrit): migrate OWNERS files to code-owners style 2022-09-19 11:13:28 +00:00
eta chore(gerrit): migrate OWNERS files to code-owners style 2022-09-19 11:13:28 +00:00
firefly chore(gerrit): migrate OWNERS files to code-owners style 2022-09-19 11:13:28 +00:00
flokli feat(users/flokli/archivist): init 2023-11-25 16:17:46 +00:00
fogti fix(users): rename zseri -> fogti 2023-07-07 20:06:02 +00:00
grfn fix(users/grfn): drop cache.tvl.fyi trusted-pubkey 2023-12-05 18:59:09 +00:00
j4m3s chore(gerrit): migrate OWNERS files to code-owners style 2022-09-19 11:13:28 +00:00
lukegb chore(users/lukegb/keys): -porcorosso-wsl +lukegb-build +lukegb-ca 2023-03-12 03:35:24 +00:00
Profpatsch fix(users/Profpatsch/openlab-tools): fix cache again 2023-10-20 21:55:21 +00:00
qyliss chore(gerrit): migrate OWNERS files to code-owners style 2022-09-19 11:13:28 +00:00
sterni chore(sterni/machines): move minecraft from edwin to ingeborg 2023-11-30 21:27:08 +00:00
tazjin fix(users/tazjin): drop cache.tvl.fyi trusted pubkey 2023-12-05 21:54:09 +00:00
wpcarro chore(3p/sources): bump channels & overlays (2023-12-06) 2023-12-06 12:39:38 +00:00
tvlbot.jpg chore(users/tazjin): Add avatar for tvlbot 2020-06-14 22:23:04 +00:00