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

style: cleanup #49

Merged
merged 1 commit into from
Feb 2, 2023
Merged

style: cleanup #49

merged 1 commit into from
Feb 2, 2023

Conversation

hugo-gomes
Copy link
Contributor

No description provided.

@hugo-gomes hugo-gomes self-assigned this Feb 2, 2023
@ripe-tobias-bot
Copy link

Woof, Woof!

Thank you @hugo-gomes for submitting the "style: cleanup" pull request 😎.

Please do not forget to review our internal guidelines:

  • Review the code in the PR using a peer 🧑‍🤝‍🧑
  • Make sure all the linting process has been executed an passed 👌
  • Make sure unit tests are passing ✅
  • Ensure that proper code standards are met 📋
  • Fill in the PR's summary (issue, dependencies, decisions and GIF)
  • Double-check the diff to make sure it's the absolute best solution you can come up with

Engaging in the development process in the best possible way helps it being efficient and fast.

Your friend,
Tobias (Platforme's mascot)

Tobias Bot

@hugo-gomes hugo-gomes merged commit 0e0bed9 into master Feb 2, 2023
@delete-merged-branch delete-merged-branch bot deleted the hg/cleanup branch February 2, 2023 17:39
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.

1 participant