5. Git
Mandatory, as in assignment 1:
- All work goes through feature branches and merge requests; nobody pushes to
main
- A merge request is merged only with a green pipeline
- In a team of two or three, a teammate reviews and approves the merge request before it is merged
main is a protected branch: merging only through merge requests
The history is read: who wrote what, which branch, which merge request, who approved it.