Using Pull Requests on GitHub - Experience report
In Proceedings of the RIC Project Day Workgroup "Framework & Standardization, 19.3.2015, Bremen, Selbstverlag, series DFKI Documents, volume 15-01, pages 38-43, May/2015. DFKI GmbH.
Pull request are an essential part of a developer workflow when interacting with git software repositories. This presentation contains an experience report on how to work with pull requests on github.com. Furthermore, it shows to use this functionality to improve the overall code quality by using it for continuous code reviews.