File:Github pull request.png

Summary
Workflow from a github pull request to the official tree Created by Jonas Stein with Inkscape.