Skip to content

Commit a3fb95e

Browse files
authored
Remove '.gitpod.yml' (jenkinsci#26019)
1 parent be95267 commit a3fb95e

File tree

4 files changed

+0
-54
lines changed

4 files changed

+0
-54
lines changed

.github/renovate.json

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -75,13 +75,6 @@
7575
"datasourceTemplate": "docker",
7676
"versioningTemplate": "loose"
7777
},
78-
{
79-
"customType": "regex",
80-
"managerFilePatterns": ["/.gitpod/Dockerfile/"],
81-
"matchStrings": ["ARG MAVEN_VERSION=(?<currentValue>.*?)\n"],
82-
"depNameTemplate": "org.apache.maven:maven-core",
83-
"datasourceTemplate": "maven"
84-
},
8578
{
8679
"customType": "regex",
8780
"managerFilePatterns": ["/core/src/site/site.xml/"],

.gitpod.yml

Lines changed: 0 additions & 27 deletions
This file was deleted.

.gitpod/Dockerfile

Lines changed: 0 additions & 10 deletions
This file was deleted.

CONTRIBUTING.md

Lines changed: 0 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -83,16 +83,6 @@ Open another terminal and start a [webpack](https://webpack.js.org/) dev server,
8383
yarn start
8484
```
8585

86-
### Gitpod
87-
88-
You can open this project as a [Gitpod workspace](https://www.gitpod.io/) which comes pre-configured with all the tools you will need.
89-
You can use IntelliJ IDEA (preferred) or VS Code (alternate) in the browser.
90-
91-
[![Open in Gitpod](https://gitpod.io/button/open-in-gitpod.svg)](https://gitpod.io/#https://github.com/jenkinsci/jenkins)
92-
93-
If you prefer using IntelliJ IDEA, you can setup Gitpod integration with JetBrains Gateway using the instructions on [gitpod.io](https://www.gitpod.io/docs/ides-and-editors/intellij),
94-
which will open the workspace in IntelliJ IDEA using JetBrains Gateway.
95-
9686
### Linting
9787

9888
For linting we use a number of tools:

0 commit comments

Comments
 (0)