Make GitHub repo match WordPress repo. Earlier changes moved to branch.