From github.com:llvm/llvm-project
 * branch                      main       -> FETCH_HEAD
   4fa3b2a1843c..acf964b95f54  main       -> origin/main
Switched to branch 'main'
Your branch is behind 'origin/main' by 2 commits, and can be fast-forwarded.
  (use "git pull" to update your local branch)
HEAD is now at acf964b95f54 [mlir][SMT] add export smtlib (#131492)