Test textinput removal

Author: devajithvs

.github/workflows/sync_cling.yml

@@ -4,6 +4,7 @@ on:
   pull_request:
     paths:
       - 'interpreter/cling/**'
+      - '.github/workflows/utilities/sync_cling.py'
 jobs:
   sync-cling-history:
     if: github.repository_owner == 'devajithvs'

.github/workflows/utilities/sync_cling.py

@@ -177,6 +177,10 @@ def principal():
 
     applyPatches(patches)
 
+    # Remove text-input directory, revert this after the run.
+    execCommand(f'git rm lib/UserInterface/textinput -r', CLING_REPO_DIR_NAME)
+    execCommand(f'git commit -m "Remove `textinput` directory"', CLING_REPO_DIR_NAME)
+
     syncTagAndPush(rootSyncTag, rootHashes[0])
 
 if __name__ == '__main__':