Students' feedback in using GitHub in a project development for a software engineering course