Changes between Version 1 and Version 2 of WorkingConventions/Git


Ignore:
Timestamp:
Apr 7, 2011 10:11:29 AM (4 years ago)
Author:
simonmar
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WorkingConventions/Git

    v1 v2  
    8484== The stable branch == 
    8585 
    86 == Committing changes == 
    87  
    88  
    89  
    90 where `~/ghc-HEAD` is my vanilla HEAD, with all the sub-repositories checked out using `git-all`.  This command tells me all the patches in the local repository tree relative to `~/ghc-HEAD`.  
    91  
    92 '''Tip''': add `pull --no-set-default` and `push --no-set-default` to your `~/.git/defaults` file, to avoid having to give `--no-set-default` in commands like the above. 
    93  
    94 To actually push to the HEAD, you can do this: 
    95  
    96 {{{ 
    97   $ ./git-all -r [email protected]:/home/git push --no-set-default 
    98 }}} 
    99  
    100 it'll use SSH for the push, but continue to use HTTP for pulling, which is what you want (HTTP is much faster than SSH for git operations, but for pushing we can only use SSH). 
    101  
     86(ToDo)