Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

Correct publint error #68

Merged
merged 1 commit into from
Feb 6, 2024
Merged

Correct publint error #68

merged 1 commit into from
Feb 6, 2024

Conversation

smorimoto
Copy link
Contributor

Signed-off-by: Sora Morimoto <sora@morimoto.io>
@smorimoto smorimoto requested a review from a team as a code owner February 6, 2024 01:06
@febuiles
Copy link

febuiles commented Feb 6, 2024

This looks useful, thanks!

@febuiles febuiles merged commit 9610ded into github:main Feb 6, 2024
3 checks passed
@febuiles
Copy link

febuiles commented Feb 6, 2024

@smorimoto is this causing any issues today, or can we keep it in main until there's a new release?

@smorimoto smorimoto deleted the publint branch February 6, 2024 09:29
@smorimoto
Copy link
Contributor Author

As far as I know, there should be no issue!

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