Artwork

Inhalt bereitgestellt von Matthias Bendel und Stefan Haslinger, Matthias Bendel, and Stefan Haslinger. Alle Podcast-Inhalte, einschließlich Episoden, Grafiken und Podcast-Beschreibungen, werden direkt von Matthias Bendel und Stefan Haslinger, Matthias Bendel, and Stefan Haslinger oder seinem Podcast-Plattformpartner hochgeladen und bereitgestellt. Wenn Sie glauben, dass jemand Ihr urheberrechtlich geschütztes Werk ohne Ihre Erlaubnis nutzt, können Sie dem hier beschriebenen Verfahren folgen https://de.player.fm/legal.
Player FM - Podcast-App
Gehen Sie mit der App Player FM offline!

Episode 13 - Git und Github

35:32
 
Teilen
 

Manage episode 167248643 series 134596
Inhalt bereitgestellt von Matthias Bendel und Stefan Haslinger, Matthias Bendel, and Stefan Haslinger. Alle Podcast-Inhalte, einschließlich Episoden, Grafiken und Podcast-Beschreibungen, werden direkt von Matthias Bendel und Stefan Haslinger, Matthias Bendel, and Stefan Haslinger oder seinem Podcast-Plattformpartner hochgeladen und bereitgestellt. Wenn Sie glauben, dass jemand Ihr urheberrechtlich geschütztes Werk ohne Ihre Erlaubnis nutzt, können Sie dem hier beschriebenen Verfahren folgen https://de.player.fm/legal.

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

  continue reading

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)

35 Episoden

Artwork

Episode 13 - Git und Github

Aua-uff-Code!

23 subscribers

published

iconTeilen
 
Manage episode 167248643 series 134596
Inhalt bereitgestellt von Matthias Bendel und Stefan Haslinger, Matthias Bendel, and Stefan Haslinger. Alle Podcast-Inhalte, einschließlich Episoden, Grafiken und Podcast-Beschreibungen, werden direkt von Matthias Bendel und Stefan Haslinger, Matthias Bendel, and Stefan Haslinger oder seinem Podcast-Plattformpartner hochgeladen und bereitgestellt. Wenn Sie glauben, dass jemand Ihr urheberrechtlich geschütztes Werk ohne Ihre Erlaubnis nutzt, können Sie dem hier beschriebenen Verfahren folgen https://de.player.fm/legal.

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

  continue reading

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)

35 Episoden

Alle Folgen

×
 
Loading …

Willkommen auf Player FM!

Player FM scannt gerade das Web nach Podcasts mit hoher Qualität, die du genießen kannst. Es ist die beste Podcast-App und funktioniert auf Android, iPhone und im Web. Melde dich an, um Abos geräteübergreifend zu synchronisieren.

 

Kurzanleitung