removed the permissions bit on the repo creation - will happen later,
[gwvp.git] / gwvplib / gwvpgitcontrol.php
index 55f9bd5..d78fcde 100644 (file)
@@ -1,5 +1,13 @@
 <?php
 
+function gwvp_repoExists($name)
+{
+       global $repo_base;
+       
+       if(file_exists("$repo_base/$name.git")) return true;
+       else return false;
+}
+
 function gwvp_createGitRepo($name)
 {
        global $repo_base;