NITK IEEE project to teach basics of git through a collaborative course