Leer om effectief samen te werken aan jullie groeps-repository via de command line, inclusief het maken van branches, commit messages schrijven, pull requests (merge requests) indienen, en het oplossen van merge conflicts.
Jullie werken gezamenlijk aan een simpele To-Do List applicatie geschreven in Python. De repository bevat één bestand: todo.py, met basisfunctionaliteit voor het weergeven van een lijst.
Als het goed is heb je deze stap al gedaan van zowel de groeps repository als je prive repository! Voer eerst het commando git pull
uit.
$ git clone <REPOSITORY_URL>
$ cd <REPOSITORY_FOLDER>
Elke deelnemer maakt een eigen branch om een nieuwe functionaliteit toe te voegen.
$ git checkout -b <branch-naam>
Voorbeeld:
$ git checkout -b add-task-feature
Voeg in todo.py
een functie toe in de branch waar je aan werkt. Bijvoorbeeld:
# In todo.py
tasks = []
def add_task(task):
tasks.append(task)
print(f'Task toegevoegd: {task}')
$ git add .
$ git commit -m "Voeg functie toe om taken toe te voegen"
$ git push -u origin <branch-naam>
Maak een Merge Request aan via de GitHub interface en wijs één van je teamleden toe als reviewer.
main
als alles goed is.Laten we nu een conflict genereren! Twee deelnemers moeten de zelfde regel code wijzigen in hun eigen branches en proberen deze naar main
te mergen. Dit leidt tot een conflict.
main
naar je lokale branch:
$ git checkout <branch-naam>
$ git pull origin main
$ code .
$ git add .
$ git commit -m "Los merge conflict op"
$ git push
Blijf samenwerken aan nieuwe functionaliteiten en herhaal de bovenstaande stappen. Zorg dat jullie regelmatig pullen van de main
branch om conflicts te minimaliseren.
Bespreek als team hoe jullie samenwerking is verlopen:
Git commit berichten mogen in het engels.