From b1e6448c3c47a0b2bc936c9bb4da18cdda3fb348 Mon Sep 17 00:00:00 2001
From: "Pavel \"LEdoian\" Turinsky" <ledoian@matfyz.cz>
Date: Sun, 20 Nov 2022 04:57:48 +0100
Subject: [PATCH] =?UTF-8?q?safe=5Fcheckout=5Fbranch:=20varov=C3=A1n=C3=AD?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 make/lib.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/make/lib.sh b/make/lib.sh
index 2085ad8f..ce4c9a4d 100644
--- a/make/lib.sh
+++ b/make/lib.sh
@@ -59,6 +59,7 @@ function safe_checkout_branch {
 	# Od teď si musíme dát pozor, abychom nezměnili kód, který právě běží.
 	# Zkontrolujeme, že se nemění tahle knihovna a skript, který běží.
 	# `git rev-parse` dává SHA-1 hashe objektů, vizte manuálovou stránku pro pochopení.
+	# Pozor: tohle porovnává jen verze commitnuté do gitu. Lokální změny udělají něco náhodného…
 	if test "$(git rev-parse @:make/lib.sh)" != "$(git rev-parse "$BRANCH"@{u}:make/lib.sh)"
 	then
 		echo >&2 "Změna v make/lib.sh, prosím pullni manuálně"