Tools and scripts used to manage DevEd repositories and tutorials - View it on GitHub