Fix github sync performance