Merge pull request #1207 from tripleee/revert-git-lockdir

Revert "Guard against gitmanager clashes with a lock dir"

gitmanager.py

@@ -5,7 +5,6 @@
 import json
 from datetime import datetime
 from threading import Lock
-from os import mkdir, rmdir
 
 import regex
 import requests
@@ -35,12 +34,6 @@ def add_to_blacklist(cls, **kwargs):
         chat_profile_link = kwargs.get("chat_profile_link", "http://chat.stackexchange.com/users")
         code_permissions = kwargs.get("code_permissions", False)
 
-        # Block if git lock directory exists
-        try:
-            mkdir('gitmanager.lock')
-        except FileExistsError:
-            return (False, "Previous operation in progress; `!!/pull` to force")
-
         # Make sure git credentials are set up
         if git.config("--get", "user.name", _ok_code=[0, 1]) == "":
             return (False, "Tell someone to run `git config user.name \"SmokeDetector\"`")
@@ -235,8 +228,4 @@ def get_remote_diff():
 
     @staticmethod
     def pull_remote():
-        try:
-            rmdir('gitmanager.lock')
-        except FileNotFoundError:
-            pass
         git.pull()