mhutterDevOoopsWorking with Git submodulesPrimer on how to use Git submodulesGIT delete remote branchHow to delete a remote branch in GITContinuous Deployment with Github PagesHow to let Travis CI merge into master on successful builds