From https://github.com/llvm/llvm-project * branch main -> FETCH_HEAD 2d216a94f3c8..de6a83257c78 main -> origin/main Switched to branch 'main' Your branch is behind 'origin/main' by 6 commits, and can be fast-forwarded. (use "git pull" to update your local branch) HEAD is now at de6a83257c78 [Loads] Add tests for proving deref with assumes and loop guards.