Preview PR in gitpod

[sreichel]

This is work in progress ...

Needs to be merged for further tests.

PR should show a "open in gitpod" button, to preview current PR with installed OpenMage.

[colinmollenhour]

Can you provide a screenshot of where the button appears?

[sreichel]

I have no screenshot right now. I'll provide one later ... or take a look at DDEV repo that uses gitpod too.

[sreichel]

Give it a try?

We can roll back if it does not work.

[sreichel]

@colinmollenhour is there something to configure/enable in github admin ?

[colinmollenhour]

It's already configured and enabled, someone else must have a while back. I think maybe the addBadge option only applies to new PRs so please check on the next new PR.

[colinmollenhour]

I'm not sure how to reach Project Settings..

In my GitPod dashboard I seem to only be able to do anything related to private repos, I don't see how to do anything with an organization repo.

It does "work" with prefixing a PR repo URL with https://gitpod.io/# as far is it launches a workspace, but the url gets a 404 although it does look like an nfinx 404 if that means anything..

[colinmollenhour]

I uninstalled and re-installed and it opened a page in Gitpod dashboard with this:

So I think you just use the prefix or the browser extension.. Seems like the addBadge and addComment are no longer supported?

[colinmollenhour]

The startup script is broken

[sreichel]

@colinmollenhour thanks.

For some reason i used non-existing php8.3-image.

I have

• changed it to 7.4
• added an action to create the gitpod link

This works so far, gitpod opens w/o error, but port 8000 (required for preview?) isn't available.

Can you please take a look at it?

Test here: openmage-strict#55