github just made a change to its xml file