* Antonio Terceiro <[email protected]> [140203 19:30]: > I want to merge the attached patch (changes to .gitignore and .mrconfig > omitted) to the team master repository. This patch makes so that: > > - `mr checkout` will not checkout everything anymore. > > - `./checkout $repository1 $repository2 ...` will checkout specific > repositories > > - `mr --force checkout` can be used if one really wants to checkout > everything. > > Any objections?
Sounds good to me.
Thanks,
Christian
--
,''`. Christian Hofstaedtler <[email protected]>
: :' : Debian Developer
`. `' 7D1A CFFA D9E0 806C 9C4C D392 5C13 D6DB 9305 2E03
`-
signature.asc
Description: Digital signature
