Thank you Abu.
Is there no way to avoid this type of event requiring a manual change to files on GitHub?
Perhaps it would just mean some other type of event would need manual change instead
In the future perhaps I will try only run ABM scan after I do provider file update and notice that there was an update required.
But unfortunately ABM scan is also the only way to sort the results of blind scan into alphanumeric order.