Tags
Merge
Tools
Merge
Mergen voegt wijzigingen van de ene branch samen in een andere. Git doet dit automatisch als het kan,anders los je merge-conflicten handmatig op. Strategieën zijn fast-forward, merge commit en squash. Pull requests faciliteren review vóór de merge.
Andere termen met deze tag:
Pull Request
A
Tools
Pull Request
Een pull request is een voorstel om wijzigingen van een branch te mergen in een andere (vaak main). Het maakt code review, discussie en geautomatiseerde tests mogelijk. Workflow: branch pushen, Pull request openen, review/approvals, CI draaien en mergen. In GitLab heet dit een Merge Request.
A
Tools
Git
A
Tools
Git Version Control System
Git is een gedistribueerd versiebeheer-systeem. Het volgt wijzigingen, ondersteunt branching/merging en samenwerking. Elke ontwikkelaar heeft een volledige lokale geschiedenis. Belangrijke commando's: clone, commit, push, pull, branch en merge.
A
Tools
400 kaartjes
Een uitgebreide collectie begrippen voor elk niveau
12 categorieen
Van HTML & CSS tot databases en security
3 niveaus
Geschikt voor beginners en gevorderden
Voor teams & klassen
Ideaal als lesmateriaal of teambuilding tool
Offline oefenen
Fysiek aan de slag, zonder scherm