[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: DEX update and next steps

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

Reply to: