Using GitHub for Continuous Integration/\ and Continuous Deployment