Skip to content

Conversation

@qnga
Copy link
Member

@qnga qnga commented Nov 17, 2022

No description provided.

Copy link
Member

@mickael-menu mickael-menu left a comment

Choose a reason for hiding this comment

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

Could you open a new PR starting from develop instead of the settings branch? This won't be easily mergeable with #293 as the PRs are squashed into a single commit.

@qnga
Copy link
Member Author

qnga commented Nov 18, 2022

There would be many conflicts if I reformat the code from develop. I'll be able to rebase it upon develop and force-push it when #293 has been merged instead.

@mickael-menu
Copy link
Member

Sounds good

@mickael-menu mickael-menu merged commit 29ba1cf into develop Nov 28, 2022
@mickael-menu mickael-menu deleted the ktlint branch November 28, 2022 12:00
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.

3 participants