When someone posts a pull request to ODP on GitHub, if you want to test or otherwise work with it locally there's a simple trick to do so.
Let's say I have a local copy of odp.git in mysandbox and want to do some experimentation with the changes in a pull request, it or base some of my own changes on top of them. If you click on the pull request on GitHub you'll note it has a URL of the form: https://github.com/linaro/odp/pull/xxx where xxx is the "pull number" to work with this locally, use the following simple commands: cd sandbox wget https://github.com/linaro/odp/pull/xxx.patch Adding the .patch suffix to the pull request's URL fetches a patch that I can now apply locally: git am xxx.patch
