+1 for Git repositories +1 for GitHub pull requests Regarding "github pull", on reading the the wiki [1], below is what I would do, unless there is some automation involved.
As acommitter, I would first merge pull request on GitHub repo and then push it onto Apache's Git repository. Infrastructure team can provide better ways :-) Regards, Saleem [1] https://cwiki.apache.org/confluence/display/SPARK/Contributing+to+Spark
