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


Ignore:
Timestamp:
Mar 24, 2014 8:27:57 AM (16 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