Changes between Version 5 and Version 6 of WorkingConventions/Git/Submodules


Ignore:
Timestamp:
Mar 24, 2014 8:27:57 AM (17 months ago)
Author:
hvr
Comment:

tweak pushurl subsection

Legend:

Unmodified
Added
Removed
Modified
  • WorkingConventions/Git/Submodules

    v5 v6  
    4242}}}
    4343
    44 === Overriding `push-url`s ===
     44=== Overriding `remote.origin.pushurl` ===
    4545
    4646This subsection is only relevant for developers with `git push`-permissions.
    4747
    48 Unless the GHC source tree was cloned from `ssh://[email protected]/ghc.git`, the resulting pushurls will not point to a writable location.
     48Unless the GHC source tree was cloned from `ssh://[email protected]/ghc.git`, the resulting `pushurl`s will not point to a writable location.
    4949
    50 The following commands will configure appropriate push-urls for `ghc.git` and all its submodules:
     50The following commands will configure appropriate push-URLs for `ghc.git` and all its (initialized) submodules:
    5151
    5252{{{#!sh
     
    5757}}}
    5858
     59You can display the currently used Git URLs for `git push` in submodules by:
     60{{{#!sh
     61# if unset, remote.origin.pushurl defaults to remote.origin.url
     62git submodule foreach \
     63  'git config remote.origin.pushurl || git config remote.origin.url'
     64}}}
    5965== Updating an existing GHC source tree clone ==
    6066