Dear Wiki user, You have subscribed to a wiki page or wiki category on "Marmotta Wiki" for change notification.
The "Patches" page has been changed by SergioFernandez: https://wiki.apache.org/marmotta/Patches?action=diff&rev1=3&rev2=4 Comment: fixed pr close command `git remote add -t <remote-branch> <github-user> https://github.com/<github-user>/marmotta.git` 1. Fetch the changes `git fetch <github-user>` - 1. Merge in the changes telling where the change comes from: + 1. Merge in the changes telling where the change comes from and [[https://help.github.com/articles/closing-issues-via-commit-messages/|tell github to close the pull request]]: - `git merge --no-commit --no-ff --log -m "MARMOTTA-123: Merged patch from <github-user> on github, closes PR #1234" -m "Obtained from: <github-user> <https://github.com/<github-user>/>" <github-user>/<remote-branch>` + `git merge --no-commit --no-ff --log -m "MARMOTTA-123: Merged patch from <github-user> on github, closes #1234" -m "Obtained from: <github-user> <https://github.com/<github-user>/>" <github-user>/<remote-branch>` 1. Examine the changes introduced by the patch. Make sure the code compiles and does what it claims in the pull request. Check that a. all LICENSE headers are in place (maybe you want to run `mvn apache-rat:check`),
