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

fix typo #141

Closed
wants to merge 8 commits into from
Closed

fix typo #141

wants to merge 8 commits into from

Conversation

Haleshot
Copy link
Contributor

Fix a small typo of the word assign in the comments (came across it when reading the rules of how automatic detection of tags is done).

@tegioz
Copy link
Collaborator

tegioz commented Jan 23, 2025

Thanks @Haleshot. Could you fix it in all the settings file in the repo?

@Haleshot
Copy link
Contributor Author

Thanks @Haleshot. Could you fix it in all the settings file in the repo?

Done.

@tegioz
Copy link
Collaborator

tegioz commented Jan 27, 2025

Thanks @Haleshot! Could you sign-off your commits so that the DCO checks below pass?

cynthia-sg and others added 5 commits January 27, 2025 13:28
Signed-off-by: Cintia Sánchez García <[email protected]>
Signed-off-by: Srihari Thyagarajan <[email protected]>
Signed-off-by: Cintia Sánchez García <[email protected]>
Signed-off-by: Srihari Thyagarajan <[email protected]>
Signed-off-by: Sergio Castaño Arteaga <[email protected]>
Signed-off-by: Cintia Sánchez García <[email protected]>
Co-authored-by: Sergio Castaño Arteaga <[email protected]>
Co-authored-by: Cintia Sanchez Garcia <[email protected]>
Signed-off-by: Srihari Thyagarajan <[email protected]>
Signed-off-by: John Mertic <[email protected]>
Signed-off-by: Srihari Thyagarajan <[email protected]>
Signed-off-by: Srihari Thyagarajan <[email protected]>
@tegioz
Copy link
Collaborator

tegioz commented Jan 27, 2025

You can open a new PR starting from the latest changes in main if you prefer @Haleshot.

This reverts commit 7842a3c.

Signed-off-by: Srihari Thyagarajan <[email protected]>
@Haleshot
Copy link
Contributor Author

You can open a new PR starting from the latest changes in main if you prefer @Haleshot.

Yup, will do that. Sorry for the messy PR 🙈. Closing this for now.

@Haleshot Haleshot closed this Jan 27, 2025
@tegioz
Copy link
Collaborator

tegioz commented Jan 27, 2025

It's all right, don't worry 👍

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.

4 participants