[sysadmin-bin] Append moved_to_gitlab to the infrastructure directories

[Andrea Veri <av src gnome org>]

commit e6f8fdbec2d46aa1a48afac6e94a9b7d19168b50
Author: Andrea Veri <averi redhat com>
Date:   Fri Sep 29 10:34:06 2017 +0200

    Append moved_to_gitlab to the infrastructure directories

 cleanup-inactive-ldap-accounts.py |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/cleanup-inactive-ldap-accounts.py b/cleanup-inactive-ldap-accounts.py
index c8f5f39..2a836fd 100755
--- a/cleanup-inactive-ldap-accounts.py
+++ b/cleanup-inactive-ldap-accounts.py
@@ -31,7 +31,7 @@ if socket.gethostname() != 'git.gnome.org':
     print ("You are not allowed to run this script on a different host than git.gnome.org, exiting...", 
end='\n')
     sys.exit(1)
 
-infrastructure_folders = 'archive', 'cgit', 'empty-description', 'repositories.txt', 'repositories.doap'
+infrastructure_folders = 'archive', 'cgit', 'empty-description', 'repositories.txt', 'repositories.doap', 
'moved_to_gitlab'
 repositories = filter( lambda f: not f.startswith(infrastructure_folders), os.listdir('/git'))
 last_pushed_times = {}