Good Issues and bad tidying: what GitHub can tell us about agency in project-based group modelling work for higher education