Copy into Git, since not sure how push will work out.