Comment by chuckdries

They say the registry info is available via API, so perhaps a simple bash script that calls curl would suffice