Episode 13 - Git und Github

35:32
 
Teilen
 

Manage episode 167248643 series 134596
Von Matthias Bendel und Stefan Haslinger, Matthias Bendel, and Stefan Haslinger entdeckt von Player FM und unserer Community - Das Urheberrecht hat der Herausgeber, nicht Player FM, und die Audiodaten werden direkt von ihren Servern gestreamt. Tippe auf Abonnieren um Updates in Player FM zu verfolgen oder füge die URL in andere Podcast Apps ein.

Show Notes und Links

Minimaler Workflow

# einmalig: Repo anlegen git init # Remote Repository hinzufügen git remote add origin git://pfad.zum/repository # und dann regelmäßig: bisherigen Stand von Server holen ("Pullen") git pull origin master # ... arbeiten ... # alle Änderungen sammeln git add --all . # Daraus einen Commit erstellen git commit -am "was habe ich gemacht und warum" # Auf den Server schieben ("pushen") git push origin master 

Weiterführende Materialien

Kapitel

1. Intro and neuer Host Matthias (00:00:00)

2. Motivation für die Verwendung eines Versionierungssystems (00:01:00)

3. Repositories, Installation (00:05:20)

4. Repository anlegen (00:07:20)

5. Commit (00:08:00)

6. Repository am Server a.k.a. Remote (00:13:00)

7. Github, Account (00:14:10)

8. Repos auf Github anlegen und verwenden (00:15:50)

9. Der regelmäßige Workflow, Auflösen von Konflikten (00:23:00)

10. Zusammenfassung: Repository, Commit, Konflikt (00:28:20)

11. Kollaboration auf Github: Pull Requests (00:29:10)

12. Arbeiten ohne Github. Github Issues und Wiki. (00:32:30)

13. Verabschiedung (00:34:40)

34 Episoden