Cloud Foundry Diego

This bot is deprecated as of Feb 7, 2023. It has been left around for historical purposes.