git gc --aggressive push to server?

Question

It seems like git gc --aggressive really cleans up my repo, but when I do git push everything is already up-to-date. Is there a way to clean up the server?

Answer 1

I know that Github will run git gc periodically as the Github support mentions in this thread.

I don't know if you can force it yourself though.
I didn't see such a service in the Github hooks.