On Mon, Sep 30, 2013 at 7:36 PM, Florian Pritz <[email protected]> wrote:
> ## commitpkg [-a $arch] (from devtools) > - create a tag and upload packages to the server > This will lead to having thousands of tags in the repo. Does anyone have any experience with git repositories with so many tags? I am thinking about possible performance issues since I don't think this is typical git usage.
