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

Sanity checks: re-activate Taplo #1636

Merged
merged 10 commits into from
Dec 2, 2023
Merged

Sanity checks: re-activate Taplo #1636

merged 10 commits into from
Dec 2, 2023

Conversation

gpmayorga
Copy link
Contributor

No description provided.

@lemunozm lemunozm self-assigned this Dec 1, 2023
@lemunozm lemunozm added P2-nice-to-have Issue is worth doing. I12-ci Issue related to CI labels Dec 1, 2023
@lemunozm
Copy link
Contributor

lemunozm commented Dec 1, 2023

Taking the ownership of this

@lemunozm lemunozm force-pushed the enable-taplo-checks branch from e680848 to 0a447ee Compare December 1, 2023 09:46
@lemunozm lemunozm marked this pull request as ready for review December 1, 2023 10:10
@lemunozm lemunozm enabled auto-merge (squash) December 1, 2023 11:35
@lemunozm lemunozm disabled auto-merge December 1, 2023 11:36
@gpmayorga gpmayorga added the D0-ready Pull request can be merged without special precaution and notification. label Dec 1, 2023
@lemunozm
Copy link
Contributor

lemunozm commented Dec 1, 2023

@gpmayorga could you give an approval? should be ready

EDIT: forgot your're the only one that is not on the owner list 😆

@lemunozm lemunozm force-pushed the enable-taplo-checks branch from 6168acb to 243674c Compare December 1, 2023 13:42
Copy link
Contributor

@NunoAlexandre NunoAlexandre left a comment

Choose a reason for hiding this comment

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

@lemunozm
Copy link
Contributor

lemunozm commented Dec 1, 2023

@wischli I do not know why your approval is mandatory here

Copy link
Contributor

@wischli wischli left a comment

Choose a reason for hiding this comment

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

@gpmayorga Added me as secondary GHA owner to reduce the bus factor. Thanks a lot for the fix! Enjoy your weekend!

@wischli wischli merged commit 93ace41 into main Dec 2, 2023
9 checks passed
@lemunozm lemunozm deleted the enable-taplo-checks branch December 2, 2023 10:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
D0-ready Pull request can be merged without special precaution and notification. I12-ci Issue related to CI P2-nice-to-have Issue is worth doing.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants