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

Unify WARNING comments #10678

Merged
merged 5 commits into from
May 12, 2022
Merged

Unify WARNING comments #10678

merged 5 commits into from
May 12, 2022

Conversation

rkapka
Copy link
Contributor

@rkapka rkapka commented May 11, 2022

What type of PR is this?

Cleanup

What does this PR do? Why is it needed?

Every WARNING in a function comment will be upper-case and begin in a new line for better visibility.

@rkapka rkapka requested review from nisdas and a team as code owners May 11, 2022 14:58
@rkapka rkapka requested review from rauljordan and terencechain May 11, 2022 14:58
@rauljordan
Copy link
Contributor

Needs @nisdas

@prylabs-bulldozer prylabs-bulldozer bot merged commit 7db0435 into develop May 12, 2022
@delete-merged-branch delete-merged-branch bot deleted the warning-comments branch May 12, 2022 15:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Cleanup Code health!
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants