Bring GitHub up to date with local copy (many changes).