From 778967a3da79597833ba7cd90a6085d1d8ce014a Mon Sep 17 00:00:00 2001
From: Dimitri Merejkowsky <dimitri@dmerej.info>
Date: Wed, 12 May 2021 13:46:46 +0200
Subject: [PATCH] Make: don't run `git checkout -` at the end of the build

Running `git checkout CPYTHON_CURRENT_COMMIT` and then
`git checkout -c` can render the sphinx build slower
because many sources may seem out of date.
---
 Makefile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Makefile b/Makefile
index e3202f58e..d12306e72 100644
--- a/Makefile
+++ b/Makefile
@@ -70,7 +70,6 @@ all: ensure_prerequisites
 	  -D latex_elements.inputenc=       \
 	  -D latex_elements.fontenc='       \
 	  $(MODE)
-	git -C $(CPYTHON_PATH) checkout -
 	@echo "Build success, open file://$(abspath $(CPYTHON_PATH))/Doc/build/html/index.html or run 'make serve' to see them."