From e19708a249140d22c8d7a2245c7c11d7b15ef048 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Tue, 21 Jan 2025 05:05:08 -0500
Subject: Update grub entries on push

Supposedly, running the nix-env command before switch-to-configuration will
result in the grub entry being updated appropriately, and this is how
nixos-rebuild does it.

https://discourse.nixos.org/t/how-to-update-grub-entries-with-nixos-config-built-with-nix-build/1826/2
---
 .gitlint | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 .gitlint

(limited to '.gitlint')

diff --git a/.gitlint b/.gitlint
new file mode 100644
index 0000000..b18e7c4
--- /dev/null
+++ b/.gitlint
@@ -0,0 +1,2 @@
+[ignore-body-lines]
+regex=^https?://
-- 
cgit v1.2.3