about summary refs log tree commit diff
path: root/users/wpcarro (follow)
AgeCommit message (Collapse)AuthorFilesLines
2021-12-15 r/3251 fix(users/wpcarro): Delete and/or fix broken targetsVincent Ambo5-65/+103571
(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 r/3249 fix(wpcarro/nix): Remove <briefcase> referencesWilliam Carroll53-172/+151
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-14 r/3245 refactor(3p/lisp): Move things from //users/wpcarro/third_party/lispVincent Ambo8-138/+0
* 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-13 r/3227 feat(users/wpcarro): add OWNERS fileWilliam Carroll1-0/+3
Change-Id: Id6eeee0f97b9a7195664e5c2434e9d545929a042
2021-12-14 r/3226 subtree(users/wpcarro): docking briefcase at '24f5a642'Vincent Ambo766-0/+175420
git-subtree-dir: users/wpcarro git-subtree-mainline: 464bbcb15c09813172c79820bcf526bb10cf4208 git-subtree-split: 24f5a642af3aa1627bbff977f0a101907a02c69f Change-Id: I6105b3762b79126b3488359c95978cadb3efa789