From https://github.com/llvm/llvm-project
 * branch                      main       -> FETCH_HEAD
   c3e25e7fc463..3187d4da24ad  main       -> origin/main
Switched to branch 'main'
Your branch is behind 'origin/main' by 1 commit, and can be fast-forwarded.
  (use "git pull" to update your local branch)
HEAD is now at 3187d4da24ad [Verifier] Add additional tests for dereferenceable assumptions.