sterni a2a33f1d06 feat(sterni/git-only-push): support force pushing ... This is occasionally necessary. --force-with-lease should also be supported in the future, unfortunately getopts(1) doesn't have --long option support. Change-Id: Ib054009f48585b1a52ed041a51bcaf7e32dca1b3 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12904 Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI		2024-12-22 13:36:39 +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	fix(sterni/emacs): get emacs to use default monospace for unicode	2024-12-20 23:38:05 +00:00
exercises/aoc	feat(sterni/exercises/lib): add Diagonals BQN function	2024-12-20 17:39:18 +00:00
external	chore(sterni/external/likely-music): update to 2023-02-07	2023-03-01 13:40:55 +00:00
git-only-push	feat(sterni/git-only-push): support force pushing	2024-12-22 13:36:39 +00:00
htmlman	style: format entire depot with nixpkgs-fmt	2022-01-31 16:11:53 +00:00
machines	chore(sterni/machines/ingeborg): remove gopher related configs	2024-12-21 21:27:13 +00:00
mblog	chore(3p/lisp/closure-*): disable on ECL for now	2024-12-02 23:15:51 +00:00
modules	chore(sterni/ingeborg/minecraft): 1.21.1 -> 1.21.3	2024-11-17 16:09:44 +00:00
nix	feat(sterni/nix/build): check in toPlainText	2024-12-07 01:06:28 +00:00
nixpkgs-crate-holes	chore(3p/sources): Bump channels & overlays	2022-09-28 08:02:31 +00:00
secrets	feat(sterni/ingeborg/monitoring): expose netdata via nginx	2024-11-18 11:21:37 +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