Should git-llvm perform a pull --rebase after a push?

Hi,

Was just wondering, if the git-llvm script is meant to emulate the workflow one would
expect when working with the actual GitHub monorepo (when the time does come),
would it make sense for it to do a pull --rebase after everything has been committed,
although I guess the biggest issue would be the timing of this since the commit would
need to propagate back to the prototype mirror.

Or is this intentional? I figured logically some sort of way to update the local
git repository after a commit would make sense, although I'm not familiar enough
with git to know if it's possible (easily) or not.

Thanks.
- Kristina

I doubt this will work well, since the commit needs to bubble through to the monorepo first for pull to catch it. I tried it in the past and only very rarely had success.

Cheers,
Philip