tvl-depot/users
sterni 419a9ab0fe chore(3p/sources): Bump channels & overlays
* //users/tazjin/emacs: string-edit was renamed to string-edit-at-point
  1b2c64ce1b

* //users/grfn/…/modules:

    - readyset.nix: use rain from nixpkgs

    - obs.nix: use input-overlay from nixpkgs (newer version, untested)

Change-Id: I5887078cee22673c129d186a8448855b92d7b250
Reviewed-on: https://cl.tvl.fyi/c/depot/+/7306
Reviewed-by: tazjin <tazjin@tvl.su>
Reviewed-by: grfn <grfn@gws.fyi>
Autosubmit: sterni <sternenseemann@systemli.org>
Tested-by: BuildkiteCI
2022-11-23 21:25:08 +00:00
..
cynthia chore(gerrit): migrate OWNERS files to code-owners style 2022-09-19 11:13:28 +00:00
edef chore(gerrit): migrate OWNERS files to code-owners style 2022-09-19 11:13:28 +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 chore(gerrit): migrate OWNERS files to code-owners style 2022-09-19 11:13:28 +00:00
grfn chore(3p/sources): Bump channels & overlays 2022-11-23 21:25:08 +00:00
isomer chore(gerrit): migrate OWNERS files to code-owners style 2022-09-19 11:13:28 +00:00
j4m3s chore(gerrit): migrate OWNERS files to code-owners style 2022-09-19 11:13:28 +00:00
lukegb chore(gerrit): migrate OWNERS files to code-owners style 2022-09-19 11:13:28 +00:00
Profpatsch chore(tools/rust-crates-advisory): move custom checker to user dir 2022-11-06 18:40:59 +00:00
qyliss chore(gerrit): migrate OWNERS files to code-owners style 2022-09-19 11:13:28 +00:00
riking chore(gerrit): migrate OWNERS files to code-owners style 2022-09-19 11:13:28 +00:00
sterni refactor(sterni/nix/fun): key can also be an int 2022-10-23 21:08:52 +00:00
tazjin chore(3p/sources): Bump channels & overlays 2022-11-23 21:25:08 +00:00
wpcarro refactor(wpcarro/emacs): Simplify fonts.el 2022-11-21 17:12:51 +00:00
zseri chore(gerrit): migrate OWNERS files to code-owners style 2022-09-19 11:13:28 +00:00
tvlbot.jpg chore(users/tazjin): Add avatar for tvlbot 2020-06-14 22:23:04 +00:00