Hi,
I'm trying to convince people to put all our git repos in one place (move
people who are still on gitorious to github) and I run accross art
repository[1]. Is there still something valuable/needed or is everything moved
already to github?
In the later case, I would like to propose to delete this repository...
Apart from that I noticed that artwork repo is quite huge... Have you ever
thought about splitting it? We can split it into submodules and put some simple
usage script in so you could still clone everything but you could also clone
only parts of it and save some space. All that while keeping history.
What do you think about that?
[1] https://gitorious.org/opensuse/art
--
Michal Hrusecky