Note: using git gc --aggressive seems to reduce the size of the repository from about 108MB to 49MB, which isn’t as good as doing a squash but doesn’t result in losing all of it’s history either. Was that considered?
Github, to my knowledge, doesn’t have a way of running this, but deleting and recreating the repository would work.