Revision 3483

mgagit: Add a repo group for infrastructure stuff.

This is slightly recursive as this is where the definitions are kept, but
I'll add a readme to the git repo to make sure no-one actually adds definitions
in this tree (although a pre-receive hook would be better to really ban it)