a git demo for ITP 460