One way to merge in these changes is to pull them into a local
branch for review, verifying the changes and then merge to back
to master.
# Check out a new branch for integration
git checkout -b integration
# Fetch the merge request into this branch
git pull \
git://gitorious.digitalstrom.org/dss11-websetup/dss11-websetup.git \
refs/merge-requests/5
# Show the commits, assess they are okay
git log --pretty=oneline --abbrev-commit master..integration
# To apply the changes to your master branch:
git checkout master
git merge integration
git push origin master
looks good
→ State changed from Open to Closed
Merged.