Add Ivan's git instructions