On Tue, 07 Dec 2010 at 11:55PM -0800, Robert Bradshaw wrote: > The patchbot works by creating branches so that it doesn't have to > create a entirely new copy of Sage for every ticket. Of course scripts > doesn't play nicely with branching, so it can't even handle this. > Eventually it should be extended to handle the other repos and spkgs, > but that's future work. (Note that this is yet another justification > for moving the scripts repo into the main repository, even if you > enjoy manually managing patches to the two distinct repositories > yourself.)
I would very much like to see the scripts repo merged with the library repo. The only use case for separate repos that I can see is someone who wants to use a certain version of the scripts (say, the version from Sage 4.6) with a different version of the library (say, 4.5.3). But no one would ever want to do that, since it almost certainly would not work. So I say we merge them. Dan -- --- Dan Drake ----- http://mathsci.kaist.ac.kr/~drake -------
signature.asc
Description: Digital signature
