On Thu, 4 Apr 2013 at 11:15:21 +0200, Andreas Tscharner wrote: > On 04.04.2013 10:43, Carlos R. Mafra wrote: > > [snip] > >The only strong opinion I have on this issue is to have all those > >dockapps in one repo. > > I don't know git that well, but I thought there were submodules. So > we can have one repo for each dockapp and one repo which contains > only a "shell" that has all dockapps as submodule. > > Would that work?
I'm not familiar with submodules, so I can't answer it on the spot. But we should not invert the questions around. Instead of modifying the current workflow and unified feature of the dockapps.git repo, the possible problems with packaging should be solved by improving the packaging side to make sense of the repo, not the other way around. I mean, Alexey wants to have _many_ repositories and track changes to version numbers very carefully for each one of them. That is a huge overhead of work for things which are not all that important, IMO. But fine, he has his motivation and knows what he's doing and he's willing to do it. But note that this increased work might as well spread to other distros -- they don't seem to coordinate well and duplicate effort all the time. So I'm against that. I don't think it makes sense to split the repository into many smaller ones to satisfy the need for some packaging version scheme issue. I won't track them all and many other people won't track them as well. Less people will look at them and less people will be motivated to tweak any issues. Bad. That's the main reason I oppose to the splitting. It doesn't make sense in view of the smallness of the individual projects and the need for having people looking at them. And besides that, it increases the amount of work in one distro and eventually in others too. In principle that's not my direct business, but I'd like to raise this issue here and try my best to avoid participating in something I'm not conviced it's the optimal choice. The move to github is another issue. It's probably a good idea. -- To unsubscribe, send mail to [email protected].
