Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Release 0.3.0 Dreamy Dracaena #633

Merged
merged 1 commit into from
Oct 2, 2023
Merged

Release 0.3.0 Dreamy Dracaena #633

merged 1 commit into from
Oct 2, 2023

Conversation

ErinvanderVeen
Copy link
Collaborator

@ErinvanderVeen ErinvanderVeen commented Sep 22, 2023

Release 0.3.0, quite a big one this time.

@Xophmeister
Copy link
Member

#637 ought to be merged first and then rebased into this PR: it fixes the TTY playground after the CLI changes.

@aspiwack
Copy link
Member

I don't think #637 should block release: the playground is mostly useful on master and isn't a release artefact I believe.

@Xophmeister
Copy link
Member

Xophmeister commented Sep 29, 2023

That's true; #637 is definitely not a blocker, just a nice-to-have. That said, the release won't happen today -- I assume this PR has been left in draft for a reason -- and mine's a small change, so it will probably end up in the release. Nonetheless, I will pre-emptively approve this PR, as it LGTM, to save time next week.

@ErinvanderVeen ErinvanderVeen marked this pull request as ready for review October 2, 2023 11:57
@ErinvanderVeen ErinvanderVeen merged commit 0a9c86a into main Oct 2, 2023
@ErinvanderVeen ErinvanderVeen deleted the release-d branch October 2, 2023 12:05
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants