merge GitHub functionality into grading project