Dev
{{ resolvedDiscussionCount }}/{{ discussionCount }} {{ resolvedCountText }} resolved
-
-
Status changed to merged
Toggle commit list -
Please
register
or
sign in
to comment
Step 1. Fetch and check out the branch for this merge request
git fetch origin git checkout -b dev origin/dev
Step 2. Review the changes locally
Step 3. Merge the branch and fix any conflicts that come up
git checkout master git merge --no-ff dev
Step 4. Push the result of the merge to GitLab
git push origin master
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 09330717
mentioned in commit 09330717
Status changed to merged
Status changed to merged
mentioned in merge request !37 (merged)