Versions Compared

Old Version 17

changes.mady.by.user Unknown User (benediktritter)

Saved on

compared with

New Version 18

changes.mady.by.user Unknown User (benediktritter)

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Add pointer to GitHub plain text views for pull requests

...

If you accept a pull request, you have to apply it as a patch to the Apache WIP repository, this commit will then be propagated to the GitHub mirror. GitHub provides a nice API for retrieving diffs for pull requests: just add ".diff" or ".patch" to the PR URL and you will get the diff/patch, for example https://github.com/apache/commons-foo/pull/72.diff. In the comment of the commit/merge you should use GitHub syntax (closes #xx) to close the PR. There is no other way to close pull requests. So to reduce the INFRA teams workload (to work on your tickets with close requests) remember this procedure.

...