Skip to content
This repository has been archived by the owner on Apr 26, 2024. It is now read-only.

Add a workflow to try and automatically fixup a PR #16704

Merged
merged 4 commits into from
Nov 29, 2023
Merged

Add a workflow to try and automatically fixup a PR #16704

merged 4 commits into from
Nov 29, 2023

Conversation

erikjohnston
Copy link
Member

Hopefully useful for automatically fixing up a contributor's PR?

@erikjohnston erikjohnston marked this pull request as ready for review November 29, 2023 11:29
@erikjohnston erikjohnston requested a review from a team as a code owner November 29, 2023 11:29
@erikjohnston erikjohnston requested a review from clokep November 29, 2023 13:12
clokep
clokep approved these changes Nov 29, 2023
View reviewed changes
Copy link
Member

@clokep clokep left a comment

Choose a reason for hiding this comment

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

Looks reasonable, I guess we won't really know until we test it?

@erikjohnston
Copy link
Member Author

Looks reasonable, I guess we won't really know until we test it?

Yeah, alas :(

@erikjohnston erikjohnston merged commit 19dac97 into develop Nov 29, 2023
33 checks passed
@erikjohnston erikjohnston deleted the erikj/gha_auto_fixup branch November 29, 2023 14:07
@erikjohnston erikjohnston mentioned this pull request Nov 29, 2023
Closed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@clokep clokep clokep approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@erikjohnston @clokep