Ignore gitlab shell port
What does this MR do and why?
Ignores the GitLab shell port notification in Gitpod. It seems like this port was added recently, and now we get a notification in Gitpod about it, but when you visit it, it just gives you a 404 page not found
error.