Gitpod app no longer creates Badges or comments

[rfay]

Bug description

We loved the Gitpod badges on PRs because they helped people to go test things.

But they disappeared at some point.

Maybe prebuilds are completely gone and aren't run any more? I can't find badges happening on any gitpod-enabled repository.

Steps to reproduce

I created

• build: add review in gitpod comment since badge doesn't work any more [skip ci] ddev/ddev#5945

to demonstrate this.

You can see DDEV's .gitpod.yml at https://github.com/ddev/ddev/blob/master/.gitpod.yml

Workspace affected

No response

Expected behavior

Love those badges!

Example repository

https://github.com/ddev/ddev

Anything else?

I see

• [github-app] GitHub app no longer creates review buttons and labels #3812
• Gitpod badge is not displayed when PR doesn't have description #7488

[shaal]

I'd love that feature to work again!

[TechQuery]

A third-party GitHub app can help us: https://pullrequestbadge.com/

.github/pr-badge.yml example

- icon: github
  label: "GitHub codespaces"
  message: "PR-$prNumber"
  color: "black"
  url: "https://codespaces.new/$owner/$repo/pull/$prNumber"

- icon: git
  label: "GitPod.io"
  message: "PR-$prNumber"
  color: "orange"
  url: "https://gitpod.io/?autostart=true#https://github.com/$owner/$repo/pull/$prNumber"

Real world PR example

kaiyuanshe/open-source-articles#367