When to repack?

We have a company repo used by many people throughout the day.  When/how
can I repack this?  I have come to adopt this approach:

% mv project project.pack
% cd project.pack
% GIT_DIR=. git repack -a -d
% cd ..
% mv project.pack project


Bill
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html