releng: synchronized GitHub IDs