diff --git a/dev/scripts.community/verify_users.py b/dev/scripts.community/verify_users.py index c4c95dd36e..e2154aac0c 100644 --- a/dev/scripts.community/verify_users.py +++ b/dev/scripts.community/verify_users.py @@ -25,7 +25,12 @@ if not email.endswith('@GALAXY.GITHUB.UNVERIFIED.COM'): continue - expected_github_id = int(email.replace('@GALAXY.GITHUB.UNVERIFIED.COM', '')) + expected_github_id = email.replace('@GALAXY.GITHUB.UNVERIFIED.COM', '') + if expected_github_id == 'None': + continue + + expected_github_id = int(expected_github_id) + actual_github_id = umap.get(user.username) if umap.get(user.username) != expected_github_id: continue