Update Gitpod ports

[tyler36]

The Issue

I was debugging Mailpit issues in Gitpod when I noticed many of the ports are outdated.

How This PR Solves The Issue

This PR

• updates the ports to match those from https://github.com/ddev/ddev/blob/master/.gitpod.yml
• adds postgres port

This PR does NOT update the Mailpit port. See #40

Manual Testing Instructions

Automated Testing Overview

Related Issue Link(s)

Release/Deployment Notes

[tyler36]

Haven't had a chance to test it yet.

[tyler36]

OK. Not sure what changes you would like here though.

[rfay]

There is no way to change it here, as it needs to be changed in DDEV.

But I'm not sure why it needs to be changed. Is it ddev mailpit that needs to be changed? What is the goal?

[tyler36]

Consistency, mostly.

EG. Xdebug port:

• FIle lists 9000 as xdebug port, but xdebug is on 9003. So this is confusing.
• If it doesn't matter (ie, we don't use it), lets delete the entry so there's less maintainance.

[rfay]

Xdebug has been on 9003 for several years, since before gitpod support. I'm wondering how it got that?

If you can live with mailpit listening on 8027, it's OK there. People shouldn't have to know where these ports are.

[rfay]

Sorry, I got confused between your two PRs

[tyler36]

So where are we with this?

[stasadev]

I think it's good.

Can you also add more ports from the official add-ons?:

• https://github.com/ddev/ddev-adminer
• https://github.com/ddev/ddev-xhgui

[tyler36]

Added ports but have not tested.

[tyler36]

@stasadev Oops. Forgot the HTTP ports. Good catch!