2013-07-26

GitHub und Git

Factor-Verzeichnis work als Repository eingerichtet:

factor096/work$ git init
Initialized empty Git repository in /opt/pub/mDS/factor096/work/.git/
factor096/work$ git add outline-manager/
[master (root-commit) f9f0cf4] initial commit
 1 file changed, 8 insertions(+)
 create mode 100644 outline-manager/outline-manager.factor

Auf GitHub Create a Repository geklickt, unter Repository name den neuen Namen "factor" eingetragen und Create Repository geklickt.
Die daraufhin von GitHub vorgeschlagenen Befehle übernommen:

factor096/work$ git remote add origin git@github.com:GeorgSimon/factor.git
factor096/work$ git push -u origin master

Nach lokalen Änderungen und erfolgreicher Erprobung jeweils:

factor096/work$ git commit -a -m "<Kommentar>"
factor096/work$ git push origin master