Re: [rdf4j-dev] Gitpod check on GitHub

[Håvard Ottestad <hmottestad@xxxxxxxxx>]

Wasn't sure who to contact. I first thought about the webmaster, since they handle the CI solutions. Then I saw that the EMO is listed as the contact on the Eclipse Github page: https://github.com/eclipse

Thanks for logging a ticket with the helpdesk on gitlab :)

Cheers,

Håvard

On 22 Jan 2022, at 00:18, Jeen Broekstra <jeen@xxxxxxxxxxxx> wrote:

Thanks for bringing this up Havard - I'd seen this as well and it's a mystery to me where it comes from. I've previously mentioned this in the Eclipse cross-project-dev list as well, but other than one other project maintainer chiming in they had the same issue, I got little response.

I don't think EMO is the right place to ask about this - we should probably raise a ticket in the new Eclipse Helpdesk on Gitlab: https://gitlab.eclipse.org/eclipsefdn/helpdesk.  I've logged a ticket for them to disable this: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/issues/799  .

Cheers,

Jeen

On Thu, 20 Jan 2022, at 20:27, Håvard Ottestad wrote:

Hi,

I’m a committer on Eclipse RDF4J and  I’ve noticed that there is a new check on our GitHub pull requests called Gitpod. 

Could you disable this check for us? 

https://github.com/eclipse/rdf4j

Best regards,

Håvard M. Ottestad

_______________________________________________

rdf4j-dev mailing list

rdf4j-dev@xxxxxxxxxxx

To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/rdf4j-dev

_______________________________________________
rdf4j-dev mailing list
rdf4j-dev@xxxxxxxxxxx
To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/rdf4j-dev