On Mon, Nov 23, 2009 at 10:53 AM, Tekkub <[email protected]> wrote: > Could you please open a ticket on support.github.com with details? Deleting > commits does not remove them from the remote repo, a gc has to be run to do > that.
so that reminds me of something I've always wondered: how often does gc run automatically? Or does it never run so? -- You received this message because you are subscribed to the Google Groups "GitHub" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/github?hl=.
