From 936f2d3189c7a718efcedc699071256ec5dc25c9 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Thu, 14 Sep 2017 22:54:37 +0100
Subject: [PATCH] Log git info before starting pull (update).

---
 ExtensionCrawler/cdnjs_git.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/ExtensionCrawler/cdnjs_git.py b/ExtensionCrawler/cdnjs_git.py
index 2642be4..348a5b5 100644
--- a/ExtensionCrawler/cdnjs_git.py
+++ b/ExtensionCrawler/cdnjs_git.py
@@ -221,6 +221,9 @@ def pull_get_updated_lib_files(cdnjs_git_path):
     libvers = set()
     files = []
     cdnjs_repo = git.Repo(cdnjs_git_path)
+    logging.info(" HEAD: " + str(cdnjs_repo.head.commit))
+    logging.info("   is detached: " + str(cdnjs_repo.head.is_detached))
+    logging.info("   is dirty: " + str(cdnjs_repo.is_dirty()))
     for update in pull_get_list_changed_files(cdnjs_repo):
         if not (os.path.basename(update) in ["package.json", ".gitkeep"]):
             if update.startswith("ajax"):