Using GitHub in large software engineering classes. An exploratory case study. Issue 2 (2nd April 2020)