You are viewing a plain text version of this content. The canonical link for it is here.

Posted to notifications@shardingsphere.apache.org by "RaigorJiang (via GitHub)" <gi...@apache.org> on 2023/06/26 10:19:55 UTC

[GitHub] [shardingsphere] RaigorJiang opened a new pull request, #26585: Fix sonar issue, remove unused field PG_ROLES

RaigorJiang opened a new pull request, #26585:
URL: https://github.com/apache/shardingsphere/pull/26585

   Fix sonar issue:
   https://sonarcloud.io/project/issues?resolved=false&sinceLeakPeriod=true&types=CODE_SMELL&id=apache_shardingsphere&open=AYiXgb3HgFPhSO7-ARh6


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: notifications-unsubscribe@shardingsphere.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org

[GitHub] [shardingsphere] zhaojinchao95 merged pull request #26585: Fix sonar issue, remove unused field PG_ROLES

Posted by "zhaojinchao95 (via GitHub)" <gi...@apache.org>.

zhaojinchao95 merged PR #26585:
URL: https://github.com/apache/shardingsphere/pull/26585


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: notifications-unsubscribe@shardingsphere.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org