Definition of git and github