build: show badges for Gitpod and GitHub Codespaces in PRs

[stasadev]

The Issue

• https://github.com/gitpod-io/gitpod/issues/19519

How This PR Solves The Issue

I tried https://pullrequestbadge.com/ from https://github.com/gitpod-io/gitpod/issues/19519#issuecomment-2093438752, but decided to do something else.

Found these:

• https://gist.github.com/tianhaoz95/5bf47c416b4b641d83a2022f977a0ec0
• https://docs.github.com/en/codespaces/setting-up-your-project-for-codespaces/setting-up-your-repository/facilitating-quick-creation-and-resumption-of-codespaces#creating-an-open-in-github-codespaces-badge

Manual Testing Instructions

I did not find the light/dark variants for the images:

Light background:

Dark background:

Automated Testing Overview

Related Issue Link(s)

Release/Deployment Notes

[github-actions[bot]]

Download the artifacts for this pull request:

• all-ddev-executables.zip

• ddev-linux-amd64.zip

• ddev-linux-arm64.zip

• ddev-macos-amd64.zip

• ddev-macos-arm64.zip

• ddev-windows-amd64-installer.zip

  See Testing a PR.

• Test on Gitpod.

• Test on GitHub Codespaces.

[rfay]

Looks good to me! What do you think @bmartinez287 ?

[bmartinez287]

Looks good.

[rfay]

@bmartinez287 OK even with the lack of direct dark variants? Seems like it should be fine to me.

[bmartinez287]

Yeah, it should be fine even without the dark variants. It's always nice to have but providing our own adds extra maintenance and they might release those at any point. I'm surprised they don't have them documented since they use light and dark modes extensively. https://docs.github.com/en/codespaces/setting-up-your-project-for-codespaces/setting-up-your-repository/facilitating-quick-creation-and-resumption-of-codespaces#creating-an-open-in-github-codespaces-badge