Changes between Version 10 and Version 11 of Developer/Git/Users


Ignore:
Timestamp:
Nov 20, 2013, 3:10:16 AM (6 years ago)
Author:
Gedare
Comment:

/* Private Servers */

Legend:

Unmodified
Added
Removed
Modified
  • Developer/Git/Users

    v10 v11  
    341341git push @SERVER@ master
    342342}}}
    343 You can replace the @SERVER@ with another name for your remote if you like. And now you can push other branches that you might have created. Now you can push and pull between your client and your server.
     343You can replace the @SERVER@ with another name for your remote if you like. And now you can push other branches that you might have created. Now you can push and pull between your client and your server. Use SSH keys to authenticate with your server if you want to save on password typing; remember to put a passphrase on your SSH key if there is a risk the private key file might get compromised.
    344344
    345345The following is an example scenario that might be useful for RTEMS users that uses a slightly different approach than the one just outlined:
     
    371371git branch -d anewbranch
    372372}}}
    373 
    374 
    375373=  Learn more about Git  =
    376374