Updates to developer/github
Additional tips for developer/github
EI10 support