Re: Small repository problems

[Peter Simons]

Hi Francesco,

 > Since my system and savannah accounts are different, the submodule
 > update fails miserabily for me.

I know that problem. It's the same for me at SourceForge, my user name
and system name differ. found it easiest to configure the correct user
name for all SSH connections in ~/.ssh/config:

Host *.sv.gnu.org *.sv.nongnu.org
  User salvestrini

Now, "git submodule update -i" should succeed.

Another way to solve the problem is to check out the repository
manually:

  git clone ssh://address@hidden/srv/git/autoconf-archive m4

That is all "git submodule update -i" does, too. It's basically just a
funky way to automate those initial checkouts (and to record the HEADs
of those checkouts in 'maint').

I'll explain the rationale for this entire setup in another e-mail.

Good night,
Peter