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.
Tekkub
GitHub Tech Support
http://support.github.com/
Join us on IRC: #github on freenode.net
Discussion group: [email protected]
On Sat, Nov 21, 2009 at 3:36 PM, sklemm <[email protected]> wrote:
> Hi all,
>
> I tried to remove a large file from my repository, as described here
> (http://github.com/guides/completely-remove-a-file-from-all-revisions)
>
> Local, my repo is now 110mb in size, where 97mb are in .git/objects/
> pack
> But on github it is 230mb in size, which I can't understand.
> i wanted to free some space on my account for further projects..
>
> Any help appreciated
> kind regards
> s.klemm
>
> --
>
> 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]<github%[email protected]>
> .
> For more options, visit this group at
> http://groups.google.com/group/github?hl=.
>
>
>
--
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=.
