Re-synchronise, since Github did not update correctly there