Wouldn't people discover HardenedBSD via google and then find the link to the code via the website?

I've personally never discovered projects through Github.

Many people do use GitHub for this. There are even Android app stores hinged around searching and installing release APKs.

The social connectivity and discoverability in github is a big reason many people use it. Can't say how many, but it is.