Skip to content

Remove Ona/Gitpod button from README - #319

Merged
hinerm merged 1 commit into
mainfrom
remove-ona-gitpod-from-readme
Aug 7, 2026
Merged

Remove Ona/Gitpod button from README#319
hinerm merged 1 commit into
mainfrom
remove-ona-gitpod-from-readme

Conversation

@gselzer

@gselzer gselzer commented Aug 6, 2026

Copy link
Copy Markdown
Contributor

I am unfamiliar with Gitpod, but my understanding is that the Gitpod service as originally advertised has been AI-ified into "Ona". Their Github repo suggests similar changes. I'm not sure that we want to continue to advertise the ability to write code with that service.

I am unfamiliar with Gitpod, but my understanding is that the Gitpod
service as originally advertised has been AI-ified into "Ona". I'm not
sure that we want to continue to advertise the ability to write code
with that service.
@gselzer
gselzer requested review from ctrueden and hinerm August 6, 2026 21:41
@hinerm
hinerm merged commit dd56793 into main Aug 7, 2026
1 check passed
@hinerm
hinerm deleted the remove-ona-gitpod-from-readme branch August 7, 2026 14:51
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