We don't need to worry about going over `github` quotas.  The only reason for concern is the extra disk space/bandwidth for everyone's local clones, but I don't think we need to worry at the moment.