Committer Notes

How To Merge Pull Requests


The following example is merging Pull-Request-9 to develop branch.

# Project Setup from Gitbox
git clone
cd incubator-marvin
git remote add mirror

# Update Branch
git checkout develop
git pull origin develop

# Merge Pull Request to Gitbox
git fetch mirror pull/9/head:pr-9
git merge pr-9
git push origin develop
git branch -d pr-9