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

[svenefftinge]

Yes, sorry we had to pull the trigger on this. The app turned out to have too much complexity for us to maintain (compared to the value it creates for users).
Thanks for sharing the third party app. ❤️