Skip to content

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented May 1, 2023

Automated changes by create-pull-request GitHub action

@terriko
Copy link
Contributor

terriko commented May 2, 2023

Note for me: I'm not going to merge this until we get the hackathon PRs from last week merged, just for safety's sake.

@terriko terriko added the awaiting maintainer Need a maintainer to respond / help out label May 2, 2023
Copy link
Contributor

@terriko terriko left a comment

Choose a reason for hiding this comment

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

Hackathon is done (though there's still some PRs open, they have bigger issues) so I'm going to merge this shortly (probably after I handle the "easy" pull requests today).

@terriko terriko merged commit f4b9389 into main May 31, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
awaiting maintainer Need a maintainer to respond / help out
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants