Changes between Version 10 and Version 11 of Developer/Git/Users
- Timestamp:
- 11/20/13 03:10:16 (10 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Developer/Git/Users
v10 v11 341 341 git push @SERVER@ master 342 342 }}} 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. 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. 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. 344 344 345 345 The following is an example scenario that might be useful for RTEMS users that uses a slightly different approach than the one just outlined: … … 371 371 git branch -d anewbranch 372 372 }}} 373 374 375 373 = Learn more about Git = 376 374