dineshchitlangia commented on pull request #108: URL: https://github.com/apache/incubator-ratis/pull/108#issuecomment-634646137
@elek Thank you for the review. You are right the Github token is not needed when merging/pushing locally. As we are slowly moving towards merging directly via GitHub PRs this will be needed, at least as per Sonar's documentation :) Let me know if you can commit this or you want me to drop the github token. ---------------------------------------------------------------- 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. For queries about this service, please contact Infrastructure at: [email protected]
