From 734b60db8daf20acf736e5cc62fe3ce7d2332b3a Mon Sep 17 00:00:00 2001 From: Toni Verbeiren Date: Tue, 20 Feb 2024 14:22:21 +0100 Subject: [PATCH] Add screenshot for PR with comflicts --- docs/use-github.qmd | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/docs/use-github.qmd b/docs/use-github.qmd index 8df527ad..35a735a6 100644 --- a/docs/use-github.qmd +++ b/docs/use-github.qmd @@ -192,12 +192,16 @@ Now that the changes are pushed/synced with the PR, this update is picked up aut When the updates in the PR are rendered properly and they are satisfactory, we can take a step further and update the `develop` branch. This can be done in the PR window. In most cases the bottom of the PR page will look something like this: -~[](img/gh-pr_merge_1.png){width=50%} +![](img/gh-pr_merge_1.png){width=70%} And updating `develop` is as simple as pressing the button 'Merge pull request'. It may occur that there is a merge conflict, for instance when someone else has already updated the `develop` branch and so prior information would be overwritten. This case can sometimes be resolved easily but usually requires one to manually resolve the merge conflicts. +The following indicates that conflicts occur: + +![](img/gh-pr_conflict.png){width=70%} + ## Merge with `main` When the merge with `develop` is done we can check if our changes are correct once more. Please note that we need this step because multiple people might have updated multiple parts of the app in their own branch and merged this with `develop`. We have to change if those changes are compatible and make sense.