[plt-dev] Revised git intro text

Michael Sperber wrote:
>So, with git, if you have many developers,
>you can get "merge churn" where you have to merge repeatedly (and
>idefinitely) to get your own commits in.

In fact just this morning I was thinking about writing a small script
that would repeatedly change and push a 1-byte file to the main
repository as fast as possible just to deny push access to everyone
else and test how high Eli's blood pressure could go :-)

Philippe