Dashboard scripts

Dashboard/github integration service.