From https://github.com/llvm/llvm-project * branch main -> FETCH_HEAD 63085310c929..876a2a928789 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 876a2a928789 [LV] Add early-exit test needing loop guards to prove dereferenceable.