Github's release feature is probably a better mechanism for distributing pre-compiled binaries than committing them to the repository. At the very least, it makes it easier to get the files without having to clone the repository.