diff --git a/contrib/devtools/github-merge.py b/contrib/devtools/github-merge.py
index 933bdc2b9d59b..f1b6a12fd058e 100755
--- a/contrib/devtools/github-merge.py
+++ b/contrib/devtools/github-merge.py
@@ -209,7 +209,7 @@ def main():
             exit(4)
 
         symlink_files = get_symlink_files()
-        for f in symlink_files;
+        for f in symlink_files:
             print("ERROR: File %s was a symlink" % f)
         if len(symlink_files) > 0:
             exit(4)