I did not work much with github (I use it, but only the simplest things), but I saw the function "fork this project" and "pull request".
I assume that he can fork out the project and ask you to pull it out of the plug (and not from his car).
This assumes that the plug will create a project for him in which he can push his changes to github, then you can pull it out of your github project, and then click on the main one, from where it draws.
source share