Show a custom integration message for projects with repos from gitlab.renkulab.io #4031
Description
We don't want to show the standard "contact us" message for repos pointing to gitlab.renkulab.io. We should instead display a short message in an error alert stating that gitlab.renkulab.io has been decommissioned. Perhaps also a link to the announcement page -- check the other prominent message we show on the project page
