On Wed, Mar 23, 2011 at 06:14:51PM +0100, David Paleino wrote:
> [1]: it's also possible that "git pull" wouldn't do the right thing, but a
> sequence of "git submodule <command>" would. In this case, I think I'll write
> a ./update-repo script, or kinda :)
If plain old 'git pull' cannot be made to work, I suggest having a look
at 'mr' instead and providing a suitable configuration file for it
committed in the "root" repository.
Thanks for all this much needed infrastructure work!
--
Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7
zack@{upsilon.cc,pps.jussieu.fr,debian.org} -<>- http://upsilon.cc/zack/
Quando anche i santi ti voltano le spalle, | . |. I've fans everywhere
ti resta John Fante -- V. Capossela .......| ..: |.......... -- C. Adams
Attachment:
signature.asc
Description: Digital signature