Git

Für einige Projekte gibt es inzwischen auch öffentliche Repositories auf GitHub. Um dort Commit-Rechte zu kriegen, registriert ihr euch auf GitHub, und wir fügen euch dann der chaosdorf-Organization hinzu. Schreibt einfach eine E-Mail an github@chaosdorf.de.

HowTos

• Die besten Anleitungen gibts auf GitHub
• Interaktiver Kurs: https://try.github.io/levels/1/challenges/1
• eine einfache Anleitung um git zu lernen. Kein Schnick-schnack ;) git - Der einfache Einstieg
• Ein Einstieg: https://www.atlassian.com/git/tutorial/git-basics#!overview
• Ich möchte $sache machen, wie geht das? http://firstaidgit.io/

username/email

How to show or change your Git username or email address

mergetool

Das einem am sympatischsten erscheinende merging tool in git einrichten:

git config --global merge.tool meld

und den aktuellen konflikt mit

git mergetool

beheben.

name+url	license	used by
meld	GPLv2	bison

Andere diff-tools:

vimdiff, meld, opendiff, kdiff3, tkdiff, xxdiff, tortoisemerge, gvimdiff, diffuse, ecmerge, p4merge, araxis, vimdiff, emerge, bc3 (Beyond Compare 3)

README.md

Um auf GitHub die README.md Dateien ordenlich formatieren zu können, gibt es diverse nützliche Tutorials:

• GitHubs offizielle Hilfe: GitHub Flavored Markdown
• Markdown: Syntax
• Praktisches Beispiel: GitHub Flavored Markdown Examples
• Code des Parsers: GitHub Markup

Extended

Please, oh please, use git pull --rebase