Skip to content

chore: delete .gitpod.yml#331

Merged
shenxianpeng merged 1 commit intomainfrom
shenxianpeng-patch-1
Sep 9, 2025
Merged

chore: delete .gitpod.yml#331
shenxianpeng merged 1 commit intomainfrom
shenxianpeng-patch-1

Conversation

@shenxianpeng
Copy link
Copy Markdown
Member

.gitpod.yml is outdated, and it seems not free anymore. (codespace is an alternative)

@shenxianpeng shenxianpeng requested a review from a team as a code owner September 9, 2025 00:00
@shenxianpeng shenxianpeng removed the request for review from a team September 9, 2025 00:00
@shenxianpeng shenxianpeng added the developer Changes which impact developers label Sep 9, 2025
@shenxianpeng shenxianpeng requested a review from 2bndy5 September 9, 2025 00:00
@2bndy5
Copy link
Copy Markdown
Collaborator

2bndy5 commented Sep 9, 2025

Yeah, I noticed that "gitpod" rebranded to "ona". I think they're leaning into the use of AI agents (much like the zed project but in the cloud).

Copy link
Copy Markdown
Collaborator

@2bndy5 2bndy5 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We should also remove the .gitpod.yml from other cpp-linter repos.

  • clang-tools-pip
  • cpp-linter
  • cpp-linter-hooks

@shenxianpeng shenxianpeng merged commit 17e2467 into main Sep 9, 2025
8 checks passed
@shenxianpeng shenxianpeng deleted the shenxianpeng-patch-1 branch September 9, 2025 00:19
shenxianpeng added a commit to cpp-linter/clang-tools-pip that referenced this pull request Sep 9, 2025
shenxianpeng added a commit to cpp-linter/cpp-linter-hooks that referenced this pull request Sep 9, 2025
shenxianpeng added a commit to cpp-linter/cpp-linter that referenced this pull request Sep 9, 2025
shenxianpeng added a commit to cpp-linter/clang-tools-pip that referenced this pull request Sep 9, 2025
shenxianpeng added a commit to cpp-linter/cpp-linter-hooks that referenced this pull request Sep 9, 2025
shenxianpeng added a commit to cpp-linter/cpp-linter that referenced this pull request Sep 9, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

developer Changes which impact developers

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants