diff options
| -rwxr-xr-x | src/update/gitjoe.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/update/gitjoe.pl b/src/update/gitjoe.pl index bb668b2..8fd17b4 100755 --- a/src/update/gitjoe.pl +++ b/src/update/gitjoe.pl @@ -18,6 +18,7 @@ sub get_repos_index { my $i = 0; while (my $dir = readdir(DIR)) { next if ($dir =~ m/^\./); + next if ($dir =~ m/42-cub3d.git/); next if (!(-e $home_dir . $dir . '/git-daemon-export-ok')); $repos[$i] = $dir; $i += 1; |