Re: [rdf4j-dev] Gitpod check on GitHub

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

Re: [rdf4j-dev] Gitpod check on GitHub

From: EMO EMO <emo@xxxxxxxxxxxxxxxxxxxxxx>
Date: Mon, 31 Jan 2022 20:22:06 -0600
Delivered-to: rdf4j-dev@xxxxxxxxxxx
List-archive: <https://www.eclipse.org/mailman/private/rdf4j-dev/>
List-help: <mailto:rdf4j-dev-request@eclipse.org?subject=help>
List-subscribe: <https://www.eclipse.org/mailman/listinfo/rdf4j-dev>, <mailto:rdf4j-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://www.eclipse.org/mailman/options/rdf4j-dev>, <mailto:rdf4j-dev-request@eclipse.org?subject=unsubscribe>

Hi Havard,

Our release engineer team has restricted the gitpod app to some repositories only.

RDF4j reported the issue on the help desk and we've communicated with the project through this issue:

https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/issues/799

Hope this helps.

On Thu, Jan 20, 2022 at 1:28 AM Håvard Ottestad <hmottestad@xxxxxxxxx> 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

The Eclipse Management Organization | Eclipse Foundation

References:
- [rdf4j-dev] Gitpod check on GitHub
  - From: Håvard Ottestad

Prev by Date: Re: [rdf4j-dev] milestone 2 this weekend
Next by Date: Re: [rdf4j-dev] issue housekeeping reminder
Previous by thread: Re: [rdf4j-dev] Gitpod check on GitHub
Next by thread: [rdf4j-dev] milestone 2 this weekend
Index(es):
- Date
- Thread

Breadcrumbs