Examples and resources for using GitHub as a tool for educators