Updating submodules

[Simon Peyton Jones]

|  > *         There is no .git/config in libraries/parallel.  (Whereas
|  > there is for another submodule, libraries/hoopl.)
|  
|  > *         There is, however, a .git file which points to
|  .git/modules/libraries/parallel
|  
|  That's most likely because libraries/hoopl wasn't created via `git
|  submodule` but rather inherited from a Git checkout where
|  libraries/hoopl was an decoupled (not yet submodule) sub-repo...

Yes, that's plausible.  So the hoopl one is wrong, and the parallel one is right. But how do I fix hoopl?  (Short of blowing away the whole repository, which I can't do because it has lots of commits in it.)

|  In any case, if you manage Git remotes (while in libraries/hoopl) via
|  the `git remote` command, Git takes care of following the "symlinked"
|  .git folder...

OK.  But in this case what do I do?

|  > * In .git/modules/libraries/parallel/config, I see a url of
|  > https://git.haskell.org/packages/parallel.git.  But I can't push to
|  > this URL.
|  
|  yes, that's our mirrored copy of github.com/haskell/parallel/
|  
|  > * That matches the url in
|  > https://ghc.haskell.org/trac/ghc/wiki/Repositories, but contradicts
|  > the url in 'packages', which says
|  
|  > ssh://git@github.com/haskell/parallel.git
|  
|  yes, that's exactly the upstream URL you're supposed to push to...
|  (and since it's a ssh:// protocl url, it means you should have push-
|  rights there)

So 

* I *push* to ssh://git@github.com/haskell/parallel.git
* I *pull* from https://git.haskell.org/packages/parallel.git

Is that right?  Then again, how can I get the right URLs in the right place?


|  The comment there is probably a bit misleading;
|  
|  "-" in the "upstreamurl" field just means that the official upstream
|  repo is at git.haskell.org, and you should use the usual
|  ssh://git.haskell.org/... URL for pushing...

OK, so they are *ALL* sub-modules, and "-" is just shorthand for a particular URL.  Would it be possible to fix the comment?

Simon