Integration from WG 363 to Development
{{ resolvedDiscussionCount }}/{{ discussionCount }} {{ resolvedCountText }} resolved
-
merged
Toggle commit list
Step 1. Fetch and check out the branch for this merge request
git fetch origin git checkout -b feature-WG-363 origin/feature-WG-363
Step 2. Review the changes locally
Step 3. Merge the branch and fix any conflicts that come up
git checkout development git merge --no-ff feature-WG-363
Step 4. Push the result of the merge to GitLab
git push origin development
Note that pushing to GitLab requires write access to this repository.
Tip: You can also checkout merge requests locally by following these guidelines.
mentioned in commit 74a6e629
mentioned in commit 74a6e629
mentioned in merge request !48 (merged)
mentioned in commit 487ef1be
mentioned in commit 487ef1be
mentioned in commit 05410c06
mentioned in commit 05410c06
mentioned in merge request !49 (merged)
mentioned in commit d2428fd1
mentioned in commit d2428fd1
merged
merged
mentioned in commit a43103ae
mentioned in commit a43103ae
This will create a new commit in order to revert the existing changes.