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

chore: Clean some file that should not have been pushed #30

Merged
merged 1 commit into from
Jul 5, 2022

Conversation

Nesqwik
Copy link
Member

@Nesqwik Nesqwik commented Jul 5, 2022

Checklist

  • I didn't over-scope my PR
  • My PR title matches the commit convention
  • I did not include breaking changes
  • I included unit tests that cover my changes
  • I added/updated the documentation about my changes
  • I made my own code-review before requesting one

Description of the changes

Just some clean files that are in gitignore and should not have been pushed

@Nesqwik Nesqwik self-assigned this Jul 5, 2022
@jonas-martinez jonas-martinez merged commit 69e64a6 into beta Jul 5, 2022
@jonas-martinez jonas-martinez deleted the clean-files branch July 5, 2022 08:41
@shiipou
Copy link
Contributor

shiipou commented Jul 12, 2022

🎉 This PR is included in version 1.0.0-beta.3 🎉

The release is available on GitHub release

Your semantic-release bot 📦🚀

@shiipou
Copy link
Contributor

shiipou commented Aug 11, 2023

🎉 This PR is included in version 1.0.0-alpha.1 🎉

The release is available on GitHub release

Your semantic-release bot 📦🚀

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

3 participants