From c4d0082a69c9ae500a449d16d131f80b757a7a37 Mon Sep 17 00:00:00 2001
From: rylon <rylon@web.de>
Date: Mon, 15 Jun 2015 22:26:34 +0200
Subject: [PATCH] git small fix to work with submodules

---
 git/GitRepo.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/git/GitRepo.php b/git/GitRepo.php
index 738a325..d0f6cfc 100644
--- a/git/GitRepo.php
+++ b/git/GitRepo.php
@@ -82,7 +82,7 @@ class GitRepo {
 				$repo_path = $new_path;
 				if (is_dir($repo_path)) {
 					// Is this a work tree?
-					if (file_exists($repo_path."/.git") && is_dir($repo_path."/.git")) {
+					if (file_exists($repo_path."/.git") || is_dir($repo_path."/.git")) {
 						$this->repo_path = $repo_path;
 						$this->bare = false;
 					// Is this a bare repo?