Re: [git-users] Does git allow to delete objects, found in a reference repository?

[Dale R. Worley]

> From: Ivan L 
> 
> How can I delete from my repos the git objects that have appeared in the 
> cache repo? - The remote repo is a very huge one, and I don't want to waste 
> my space.
> 
> If there is no such ability, then how can I report it as a feature-request 
> to the git development team?

As I understand it, you can reduce the size of a repository by
removing from it branch names and tag names that you do not need, then
running "git gc" to purge from the repository objects that no longer
have a named reference to them.

What you cannot do is remove any of the history of any branch whose
head you want to have in the repository -- every commit reqires the
presence of its predecessor commit(s).

There are probably advanced techniques that get around the latter
restriction, but I don't know what they are.

Dale

-- 
You received this message because you are subscribed to the Google Groups "Git 
for human beings" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to git-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.

[git-users] Does git allow to delete objects, found in a reference repository?

[Ivan L]

I create the cache git repo with git clone --mirror ..., then I 
periodically update it via cron, like git remote update -p. On the need I 
also create some local repos with git clone --reference  ... and 
work with them - pulling, commiting and pushing.

How can I delete from my repos the git objects that have appeared in the 
cache repo? - The remote repo is a very huge one, and I don't want to waste 
my space.

If there is no such ability, then how can I report it as a feature-request 
to the git development team?

-- 
You received this message because you are subscribed to the Google Groups "Git 
for human beings" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to git-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.