Changes between Version 21 and Version 22 of Developer/Git/Committers

Timestamp:

11/23/14 11:40:07 (9 years ago)

Author:

Chris Johns

Comment:

--

Developer/Git/Committers

@@ -62 +62 @@
 {{{
  * remote origin
-   Fetch URL: ssh://user@git.rtems.org/home/user/git/rtems.git
-   Push  URL: ssh://user@git.rtems.org/home/user/git/rtems.git
+   Fetch URL: ssh://user@dispatch.rtems.org/home/user/git/rtems.git
+   Push  URL: ssh://user@dispatch.rtems.org/home/user/git/rtems.git
    HEAD branch: master
    Remote branches:
@@ -96 +96 @@
 
 When you have committed changes on a branch that is public/shared with another developer you should not rebase that branch.
+
 =  GIT Push Configuration  =
 
@@ -138 +139 @@
 The procedures for creating personal repositories ensures that every developer can post branches that anyone else can review. To pull a developer's personal repository into your local RTEMS git clone, just add a new remote repo:
 {{{
-# git remote add devname git://git.rtems.org/devname/rtems.git
+# git remote add devname git://dispatch.rtems.org/devname/rtems.git
 # git fetch devname
 # git remote show devname