Skip to content

build(gitpod): remove deprecated config - #944

Merged
chimurai merged 1 commit into
masterfrom
gitpod-remove-deprecated-config
Oct 7, 2023
Merged

build(gitpod): remove deprecated config#944
chimurai merged 1 commit into
masterfrom
gitpod-remove-deprecated-config

Conversation

@chimurai

@chimurai chimurai commented Oct 7, 2023

Copy link
Copy Markdown
Owner

No description provided.

@chimurai
chimurai enabled auto-merge (squash) October 7, 2023 15:45
@coveralls

Copy link
Copy Markdown

Coverage Status

coverage: 97.619%. remained the same when pulling 5cd89ce on gitpod-remove-deprecated-config into 8d3e9bb on master.

@chimurai
chimurai merged commit d286ac8 into master Oct 7, 2023
@chimurai
chimurai deleted the gitpod-remove-deprecated-config branch October 7, 2023 15:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants