Ah, gotcha. That page also discusses updating the build tools using pacman.
Yeah, we use pacman now for updating between build tool releases (that's the name of the tool, don't blame us, it's not our creation!). Git isn't really built for things like distributing our build tools.
There will probably be a new package to get everyone on the same page at some point.
