From 61635a4bf7ae72e498c10e527f81983e4e09d32e Mon Sep 17 00:00:00 2001
From: Dimitri Merejkowsky <dmerejkowsky@users.noreply.github.com>
Date: Wed, 12 May 2021 14:23:35 +0200
Subject: [PATCH] Make: don't run `git checkout -` at the end of the build
 (#1619)

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 5af992fe..c87c5002 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."