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

• https://github.com/ddev/ddev/pull/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

• https://github.com/gitpod-io/gitpod/issues/3812
• https://github.com/gitpod-io/gitpod/issues/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. ❤️