get mirror state info from API
The project summary contains a "time since last mirror pull" time - it would he helpful to be able to get that (and any ok, failure etc state info) from the API.
The project summary contains a "time since last mirror pull" time - it would he helpful to be able to get that (and any ok, failure etc state info) from the API.