Skip to content

sorting repos #3952

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
Jan 31, 2024
Merged

sorting repos #3952

merged 1 commit into from
Jan 31, 2024

Conversation

@mathieucarbou
Copy link
Contributor

@mathieucarbou mathieucarbou commented Jan 25, 2024

No description provided.

@mathieucarbou mathieucarbou marked this pull request as ready for review January 25, 2024 12:56
@github-actions github-actions bot added the status: maintenance required Infrastructure failure unrelated to request label Jan 25, 2024
@github-actions
Copy link
Contributor

github-actions bot commented Jan 25, 2024

Hi @mathieucarbou.
There was an unexpected failure during automated processing of your pull request.
This error is unrelated to the content of your pull request.

A maintainer has been notified and will investigate as soon as possible.

@github-actions github-actions bot requested a review from per1234 January 25, 2024 14:08
@per1234 per1234 self-assigned this Jan 25, 2024
@per1234 per1234 added type: enhancement Proposed improvement topic: other Something other than a library list request and removed status: maintenance required Infrastructure failure unrelated to request labels Jan 25, 2024
per1234
per1234 reviewed Jan 25, 2024
View reviewed changes
Copy link
Contributor

@per1234 per1234 left a comment

Choose a reason for hiding this comment

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

Hi @mathieucarbou. I saw you decided to close this, but wanted to let you know that a pull request to sort the list would be accepted.

The automated system wasn't able to handle processing such a large change, but that is no obstacle because I can always manually review such proposals in cases where the convenience automated system is not available.

@mathieucarbou
Copy link
Contributor Author

mathieucarbou commented Jan 25, 2024

@per1234 : yeah I've closed the PR when I saw that the build seemed to use too much resource.
I will resurrect it ;-)
Thanks!!

@mathieucarbou mathieucarbou reopened this Jan 25, 2024
@github-actions github-actions bot requested a review from per1234 January 25, 2024 19:29
@github-actions github-actions bot added status: maintenance required Infrastructure failure unrelated to request and removed type: enhancement Proposed improvement topic: other Something other than a library list request labels Jan 26, 2024
@github-actions
Copy link
Contributor

github-actions bot commented Jan 26, 2024

Hi @mathieucarbou.
There was an unexpected failure during automated processing of your pull request.
This error is unrelated to the content of your pull request.

A maintainer has been notified and will investigate as soon as possible.

@per1234 per1234 added type: enhancement Proposed improvement topic: other Something other than a library list request and removed status: maintenance required Infrastructure failure unrelated to request labels Jan 31, 2024
per1234
per1234 approved these changes Jan 31, 2024
View reviewed changes
Copy link
Contributor

@per1234 per1234 left a comment

Choose a reason for hiding this comment

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

Thanks @mathieucarbou!

@per1234 per1234 merged commit 7de4443 into arduino:main Jan 31, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@per1234 per1234 per1234 approved these changes

Assignees

@per1234 per1234

Labels

topic: other Something other than a library list request type: enhancement Proposed improvement

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@mathieucarbou @per1234