Commit graph

1103 commits

Author SHA1 Message Date
Vincent Ambo
9f9644c41f feat(tazjin/emacs): add zoxide.el
the combination of this with zoxide on the shell is epic

Change-Id: I4773012cfe8b19562d6a66971114a25e9844a1f7
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4513
Reviewed-by: tazjin <mail@tazj.in>
Autosubmit: tazjin <mail@tazj.in>
Tested-by: BuildkiteCI
2021-12-20 08:52:49 +00:00
William Carroll
e879c76778 feat(wpcarro/diogenes): support wpcarro.dev
TL;DR:
- support wpcarro.dev
- support blog.wpcarro.dev
- journaldriver (need to figure out how to install key.json)

Change-Id: I585008b6af74c58bbf831765e800323dabb2272c
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4389
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-20 03:09:31 +00:00
William Carroll
9b2259a60d feat(wpcarro/marcus): Ensure EDITOR is set to Emacs
I should've done this awhile ago. I'm tired of having `nano` open in vterm
instances.

Change-Id: I784e4a7a3e8acba11105052b6c0fe1f6f9ac614b
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4512
Reviewed-by: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-20 03:02:00 +00:00
William Carroll
3359f52806 feat(wpcarro/emacs): Prefer light colorscheme
While I'm in Saint Lucia :)

Change-Id: I0e3b13d31e5fff7fa76e69adbd191716fb713325
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4422
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-20 03:01:48 +00:00
William Carroll
3324210c0a fix(wpcarro/marcus): Add wpcarro to networkmanager
This allows me to (e.g.) connect to wifi without being root.

Change-Id: Iba2e8516aa7a9d24e52d7afa0de0c4f31e39be16
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4421
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-20 03:01:34 +00:00
William Carroll
4ae730b7f4 feat(wpcarro/marcus): Install pavucontrol
On the fifth day, there was sound.

Change-Id: Idf0d3f06afa45311c360663da42fb3ed355344bd
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4420
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-20 03:01:23 +00:00
William Carroll
c435cf754c feat(wpcarro/marcus): Set wheelNeedsPassword = false
Removing some keystrokes from my life at the cost of security. Thoughts,
comments, and concerns are welcome!

Change-Id: I04d877021c4ce15a4d432a6a73e38e60878521aa
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4419
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-20 02:36:46 +00:00
William Carroll
7285ac9327 feat(wpcarro/marcus): Install telegram
More messaging clients :wahoo:

Change-Id: I005f6ba0514af60b58ee0a33357b5ad60660a49c
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4418
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-20 02:36:16 +00:00
William Carroll
3e501eabb5 fix(wpcarro/emacs): Ensure laptop battery shows in modeline
TL;DR:
- support marcus and diogenes in device.el
- define and consume device-laptop? fn

Change-Id: Ia6e1c2666cbd668466ef6b64a7c274d36b79d699
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4392
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-20 02:25:35 +00:00
Griffin Smith
5695b24f7f feat(grfn/bbbg): Add robots.txt
This'll be publicly hosted, and I don't want search engines knowing
about it.

Change-Id: I801217d11f6656b254698b852e5dfb4d96305a38
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4511
Reviewed-by: grfn <grfn@gws.fyi>
Autosubmit: grfn <grfn@gws.fyi>
Tested-by: BuildkiteCI
2021-12-20 01:46:04 +00:00
Griffin Smith
b05a1d1e05 feat(grfn/bbbg): Add a skeleton event page
Change-Id: Id056a7d5bf21c34317957a75e7a91ed42f55a939
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4510
Reviewed-by: grfn <grfn@gws.fyi>
Autosubmit: grfn <grfn@gws.fyi>
Tested-by: BuildkiteCI
2021-12-20 01:43:04 +00:00
Griffin Smith
9ea538beea feat(grfn/bbbg): Move nav to page-global
Change-Id: I0a313d9df818fcbfeea5484123c1e7bcec439d66
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4509
Reviewed-by: grfn <grfn@gws.fyi>
Autosubmit: grfn <grfn@gws.fyi>
Tested-by: BuildkiteCI
2021-12-20 01:28:02 +00:00
Griffin Smith
4643585e01 feat(grfn/bbbg): Add attendee checks
Change-Id: I7f96597ab3f0552cdecd0abac1ef50a68d3e0b7b
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4508
Tested-by: BuildkiteCI
Reviewed-by: grfn <grfn@gws.fyi>
Autosubmit: grfn <grfn@gws.fyi>
2021-12-20 01:23:02 +00:00
Griffin Smith
736ef8ce41 feat(grfn/bbbg): Display + allow editing attendee notes
Change-Id: I75353d64651a19beb44d3726d2645608bac0cde5
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4505
Reviewed-by: grfn <grfn@gws.fyi>
Autosubmit: grfn <grfn@gws.fyi>
Tested-by: BuildkiteCI
2021-12-19 18:42:20 +00:00
Vincent Ambo
562236085b style: format all Go code
The code in //users/wpcarro/tools/monzo_ynab/ynab/client.go was not
valid Go and has been commented out.

Change-Id: Icb4003607f30294dcbf60132eb7722702c7f0d84
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4400
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
Reviewed-by: Profpatsch <mail@profpatsch.de>
2021-12-19 18:05:04 +00:00
Griffin Smith
d7bf4f07c9 fix(grfn/emacs): Clean up init.el
Change-Id: I7b4d9f6b4f008ed432f3628c18e41243f9f4a260
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4503
Reviewed-by: grfn <grfn@gws.fyi>
Autosubmit: grfn <grfn@gws.fyi>
Tested-by: BuildkiteCI
2021-12-19 17:33:12 +00:00
Griffin Smith
1b0ec2a6d6 feat(grfn/bbbg): Add an attendee search form
Change-Id: I6f4d5102c1d3a36cb706a637196a2053739003bb
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4502
Reviewed-by: grfn <grfn@gws.fyi>
Autosubmit: grfn <grfn@gws.fyi>
Tested-by: BuildkiteCI
2021-12-19 17:33:12 +00:00
Griffin Smith
9af35bd683 feat(grfn/bbbg): Add an attendees list
Add a list of attendees visible only to authenticated users, with stats
about rsvps, events attended, and no-shows.

Change-Id: Ib9a0fe8acf8c616fb725c613494b37121a1ad0e4
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4501
Reviewed-by: grfn <grfn@gws.fyi>
Autosubmit: grfn <grfn@gws.fyi>
Tested-by: BuildkiteCI
2021-12-19 17:24:11 +00:00
Griffin Smith
23397763a7 feat(grfn/bbbg): Require auth for a bunch of stuff
Only authenticated users should be allowed to create events, etc.

Change-Id: I1f560365dbf583cf6cecf4a0798952f323bbd42e
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4412
Reviewed-by: grfn <grfn@gws.fyi>
Autosubmit: grfn <grfn@gws.fyi>
Tested-by: BuildkiteCI
2021-12-19 05:06:46 +00:00
Griffin Smith
732d1b733a feat(grfn/bbbg): Add a Sign Out button
Change-Id: Ia57a31101dc294dba54a4fde7af2b636288bd4cd
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4411
Reviewed-by: grfn <grfn@gws.fyi>
Autosubmit: grfn <grfn@gws.fyi>
Tested-by: BuildkiteCI
2021-12-19 05:06:46 +00:00
Griffin Smith
c6e0f64f45 fix(grfn/bbbg): Properly handle already-existing user
If a user already exists with the discord ID we just authenticated, just
return it rather than trying to create another user.

Change-Id: I582c4c8c55f6fb399295b3e691b0bc59e77151f4
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4410
Reviewed-by: grfn <grfn@gws.fyi>
Autosubmit: grfn <grfn@gws.fyi>
Tested-by: BuildkiteCI
2021-12-19 05:06:46 +00:00
Griffin Smith
2bc7429641 feat(grfn/bbbg): Allow Organizers to sign in via Discord
Allow users with the Organizers role to sign in via a Discord Oauth2
handshake, creating a user in the users table and adding the ID of that
user to the session.

Change-Id: I39d9e17433e71b07314b9eabb787fb9214289772
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4409
Tested-by: BuildkiteCI
Reviewed-by: grfn <grfn@gws.fyi>
Autosubmit: grfn <grfn@gws.fyi>
2021-12-19 04:43:43 +00:00
Vincent Ambo
1205b42ee0 fix(tazjin/emacs): add dwebp to Emacs' $PATH
Change-Id: I20723b7d98a24e3f06810f0a0ede8a05c80156a8
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4405
Reviewed-by: tazjin <mail@tazj.in>
Autosubmit: tazjin <mail@tazj.in>
Tested-by: BuildkiteCI
2021-12-18 20:32:56 +00:00
William Carroll
06a20ba3df fix(ops/diogenes): Ensure diogenes builds
diogenes "passed" CI because the file was named configuration.nix
(vestage from the NixOS default /etc/nixos/configuration). This CL fixes
some issues I encountered after running depot/bin/rebuild-system.

TL;DR:
- rename configuration.nix -> default.nix to trigger CI
- add diogenes to my systems
- add public SSH key

Change-Id: I24197b8936c201267db6f71f00099dce590eac1d
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4388
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
Reviewed-by: tazjin <mail@tazj.in>
Autosubmit: wpcarro <wpcarro@gmail.com>
2021-12-17 22:12:40 +00:00
Vincent Ambo
e25ef08c45 chore(tazjin/tverskoy): Increase / tmpfs size to 8G
Any less and building 'awscli' is not possible ...

Change-Id: I99105b767f4afa4cf0d072d57b08963bc12ff994
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4391
Reviewed-by: tazjin <mail@tazj.in>
Autosubmit: tazjin <mail@tazj.in>
Tested-by: BuildkiteCI
2021-12-17 10:35:33 +00:00
William Carroll
47830f9d63 feat(wpcarro/marcus): Prefer light to xbacklight
TL;DR:
- Enable light (let there be light!)
- Refactor screen-brightness.el

TIL: `nixos-options programs.enable.light` outputs docs from the command-line
Change-Id: Ib60a9b3c9b7f6f96fda29fce1a97ca9995822048
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4385
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-16 22:07:02 +00:00
William Carroll
9c9a88de87 feat(wpcarro/marcus): Add some TVL goodies
TL;DR:
- enable TVL cache (ty @grfn)
- enable automatic-gc (ty @tazjin)

Change-Id: I2c7def718f10d90c6921461c6135f18358e33198
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4362
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-16 22:07:02 +00:00
William Carroll
9c4e34bde6 feat(wpcarro/diogenes): Add diogenes to the depot
Incoming!

Change-Id: I12f9202fea8eb834d40de43109871aef2085416e
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4361
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-16 22:07:02 +00:00
William Carroll
bfb43161e5 feat(wpcarro/nixos): Define keys.nix
This opens the door for a whole bunch of neat features.

Change-Id: I15066ca9d8fe38921ebc8c4e995bd282162a4577
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4359
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-16 22:07:02 +00:00
William Carroll
f0c29e6c32 refactor(wpcarro/nixos): Rename installer -> iso
Right now this is just a sketch for a larger idea of writing a binary called
`create-installer` (see docs).

Change-Id: Ib8e2acfd5d350ccc344329d87983c415f166d02b
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4358
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-16 22:07:02 +00:00
William Carroll
305d813a2b feat(wpcarro/emacs): Install tvl Elisp
All I know is that this extends my magit configuration for Gerrit support.

Change-Id: I35c9a264ff25ce6e08b7033e0e022d4047021f05
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4357
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-16 22:07:02 +00:00
William Carroll
14d5dcbe8f fix(wpcarro/emacs): Don't require evil-magit
It's part of `evil-collection` now :)

Change-Id: Id69db08e538d10e46dc63c979d232aeb1a639f32
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4356
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-16 22:07:02 +00:00
William Carroll
dccfdef522 feat(wpcarro/emacs): Prefer doom-peacock theme
Tis the season for a dark theme

Change-Id: I3a0354a3eaa4294e51f14e5af52a12be01e89300
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4355
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-16 22:07:02 +00:00
William Carroll
ec76f6264d feat(wpcarro/marcus): Install xsecurelock
TL;DR:
- Install `xsecurelock`
- Support screen-locking for personal (and corporate) devices

Change-Id: Ife2ead109c60b69b817775d8d6524c6aece5f376
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4354
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-16 22:07:02 +00:00
William Carroll
854dcbc55e feat(wpcarro/marcus): Disable natural scrolling
Something about the end-result of this doesn't feel quite natural to me.

Change-Id: Idaa7a991893d386110bd75f9288b4c3831a59cae
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4353
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-16 22:07:02 +00:00
William Carroll
53e070fa24 chore(wpcarro/marcus): Format hardware.nix
Make some of the auto-generated code look a bit more like human-generated code.

Change-Id: I07f543b66275dc8be9db6d8106ef6045541574d3
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4352
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-16 22:07:02 +00:00
William Carroll
1ca4c6d2be feat(wpcarro/marcus): Add marcus to the depot
me: marcus, meet depot. depot, meet marcus.
Change-Id: Ic6a25ac85e4c7f6dfea2a42b46a4400f92df70a2
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4351
Tested-by: BuildkiteCI
Reviewed-by: grfn <grfn@gws.fyi>
2021-12-16 22:07:02 +00:00
zseri
3e18b034bb feat(ops/users): Add user zseri
Submitted via IRC, instead of the usual Google Groups
due to email issues.

Change-Id: I71a2bdfd10b02370df61bbba4dabc2f45b6c1009
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4384
Tested-by: BuildkiteCI
Autosubmit: sterni <sternenseemann@systemli.org>
Reviewed-by: tazjin <mail@tazj.in>
2021-12-16 19:13:02 +00:00
Griffin Smith
3bf3f95105 fix(grfn/emacs): More robust org-element title extraction
It *appears* that the main trigger for the :title of an org element
being a list instead of a string is if it contains rich text properties
as children, eg links, bold text, etc. This defines a function
that *attempts* to turn all of those into a single string, for use in my
i3status bar for the currently clocked-in task.

Change-Id: Ib655595914e54cd0e01f0fee6d1352c98a9f1436
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4364
Reviewed-by: grfn <grfn@gws.fyi>
Autosubmit: grfn <grfn@gws.fyi>
Tested-by: BuildkiteCI
2021-12-16 14:52:02 +00:00
Griffin Smith
d85c6a1b56 feat(ops/modules): Provide some modules to all nixoses
For modules that are gated behind a mkEnableOption, it's reasonable to
just provide them to all Depot-built nixos systems without requiring
people to explicitly import them. This defines a special module called
`default-imports.nix` which imports these modules (currently just
tvl-cache.nix and automatic-gc.nix, as I'm being rather conservative
adding things here to avoid breaking anyone's system), then provides
that module as one of the `modules` passed at the top-level
nixos/eval-config invocation.

Change-Id: I3be299ab10ae4c451ef11c514edb3c89318a2278
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4345
Tested-by: BuildkiteCI
Autosubmit: grfn <grfn@gws.fyi>
Reviewed-by: tazjin <mail@tazj.in>
2021-12-16 14:17:35 +00:00
sterni
01f4212ca1 feat(sterni/aoc/2021): day 15 solution
Change-Id: Idca2ae2829a7ee9e856aa7fcdc716c3055051062
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4363
Reviewed-by: sterni <sternenseemann@systemli.org>
Autosubmit: sterni <sternenseemann@systemli.org>
Tested-by: BuildkiteCI
2021-12-16 12:43:46 +00:00
sterni
0357dd973b chore(sterni/aoc/2021): add shell for running solutions.bqn
Change-Id: I2e192dec9eb863a1b2386d40d26eeeeb57e1ed28
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4350
Tested-by: BuildkiteCI
Reviewed-by: sterni <sternenseemann@systemli.org>
2021-12-16 09:19:01 +00:00
sterni
b5678cbd5f feat(sterni/aoc/2021): day 14 solution
Change-Id: I8b6c0c5d1ced89eadaeea3fb619d37e77a439965
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4349
Tested-by: BuildkiteCI
Reviewed-by: sterni <sternenseemann@systemli.org>
2021-12-15 23:58:17 +00:00
sterni
3f8c99f5c3 refactor(sterni/aoc/2021): fold over 2d array instead of nested list
Seems to save some allocations and thus recover some performance
compared to the two separate folds we had before.

Change-Id: Ie3d283103e6a9b8aa702db633d9c988fda1b2903
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4348
Tested-by: BuildkiteCI
Reviewed-by: sterni <sternenseemann@systemli.org>
2021-12-15 23:58:17 +00:00
Griffin Smith
0f5cc25697 feat(ops/modules): Add shared module for TVL cache
Add a shared nixos module for configuring whitby as a binary nix cache,
and refactor tverskoy to use this module.

This is enabled via an option to pave the way for including it as an
import in all depot-generated nixos configs at some point in the future.

Change-Id: I6dcc0e8eb48b1ac34457666dceebeedd5da6c526
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4344
Tested-by: BuildkiteCI
Reviewed-by: tazjin <mail@tazj.in>
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: grfn <grfn@gws.fyi>
2021-12-15 23:36:22 +00:00
Griffin Smith
7ed62b5337 chore(grfn/system): Drop kernel.nix module, -ck patches
Per
http://ck-hack.blogspot.com/2021/08/514-and-future-of-muqss-and-ck-once.html,
linux-ck is no longer being maintained, so there's no point in keeping
this around anymore.

Change-Id: I514505c21e272080653ff81725dcfcadb2eab2b7
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4343
Reviewed-by: grfn <grfn@gws.fyi>
Autosubmit: grfn <grfn@gws.fyi>
Tested-by: BuildkiteCI
2021-12-15 22:43:20 +00:00
sterni
6b285f008d chore(3p): bump NixOS channels to 2021-12-15
* Switch from (unused) NixOS 21.05 to newly released NixOS 21.11
  channel.

* grfn/machines/yeren: Linux 5.14.x -> 5.15.x

* 3p/gerrit, 3p/gerrit_plugin/oauth: update dependency bundle output
  hashes to what whitby comes up with now.

Change-Id: Id3bfe3d07b9223f77ec628954783a6b0a48f4086
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4310
Tested-by: BuildkiteCI
Autosubmit: sterni <sternenseemann@systemli.org>
Reviewed-by: grfn <grfn@gws.fyi>
Reviewed-by: tazjin <mail@tazj.in>
2021-12-15 17:43:52 +00:00
Vincent Ambo
d292f899f9 fix(users/wpcarro): Delete and/or fix broken targets
(we're doing this over GVC)

Co-Authored-By: William Carroll <wpcarro@gmail.com>
Change-Id: I7a65ee8b99c30366f73b4e5f0e22d9c2af6e2f1e
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4336
Autosubmit: tazjin <mail@tazj.in>
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
2021-12-15 17:29:07 +00:00
William Carroll
b6d143e5d2 fix(wpcarro/nix): Remove <briefcase> references
Angle-bracketed references are a Nix anti-pattern, and thankfully this
repository enforces this as a standard.

TL;DR:
- Drop angle-bracketed references
- Change `briefcase` -> `users.wpcarro`
- Fix any resulting regressions
- Fix //users/wpcarro/tools/simple_vim
- Mark //users/wpcarro/boilerplate/typescript and related projects
  as broken
- drop .skip-subtree file, enabling depot CI

Change-Id: I7153cbabafa617bfd6b199370cbec65cb75441f6
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4325
Tested-by: BuildkiteCI
Reviewed-by: wpcarro <wpcarro@gmail.com>
Reviewed-by: tazjin <mail@tazj.in>
Reviewed-by: grfn <grfn@gws.fyi>
Autosubmit: wpcarro <wpcarro@gmail.com>
2021-12-15 15:49:40 +00:00
Vincent Ambo
b0614b5c83 refactor(3p/lisp): Move things from //users/wpcarro/third_party/lisp
* move packages and adapt them for the depot structure instead of
  briefcase
* drop linear-programming package, it didn't build anyways

Note that at least some of these packages (e.g. prove) are deprecated
upstream, but lets sort that out later.

Change-Id: I7f5a5faa29d57f060b21ac8e1706090866a82000
Reviewed-on: https://cl.tvl.fyi/c/depot/+/4330
Autosubmit: tazjin <mail@tazj.in>
Reviewed-by: grfn <grfn@gws.fyi>
Reviewed-by: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-14 21:21:53 +00:00