chore: clean up repo (backport #1100)#1101
chore: clean up repo (backport #1100)#1101mergify[bot] wants to merge 1 commit intorelease/v1.3.xfrom
Conversation
(cherry picked from commit 0e4c40f) # Conflicts: # Makefile
|
Cherry-pick of 0e4c40f has failed: To fix up this pull request, you can check it out locally. See documentation: https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/reviewing-changes-in-pull-requests/checking-out-pull-requests-locally |
|
Important Review skippedBot user detected. To trigger a single review, invoke the You can disable this status message by setting the 🪧 TipsChatThere are 3 ways to chat with CodeRabbit:
SupportNeed help? Join our Discord community for assistance with any issues or questions. Note: Be mindful of the bot's finite context window. It's strongly recommended to break down tasks such as reading entire modules into smaller chunks. For a focused discussion, use review comments to chat about specific files and their changes, instead of using the PR comments. CodeRabbit Commands (Invoked using PR comments)
Other keywords and placeholders
CodeRabbit Configuration File (
|
Summary by CodeRabbit
This is an automatic backport of pull request #1100 done by [Mergify](https://mergify.com).