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

removed unnecessary comments in raft/raft_local.py #654

Merged
merged 1 commit into from
Sep 23, 2024

Conversation

himanshushukla12
Copy link
Contributor

Last time when I contributed the raft_local.py in directory named raft there was some unnecessary were there, which I removed in this pull request. It will not confuse the developers when they read the file.

Copy link
Owner

@ShishirPatil ShishirPatil left a comment

Choose a reason for hiding this comment

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

Thanks for this @himanshushukla12

@ShishirPatil ShishirPatil merged commit d87d0cd into ShishirPatil:main Sep 23, 2024
dyang415 pushed a commit to empower-ai/gorilla that referenced this pull request Sep 30, 2024
Last time when I contributed the `raft_local.py` in directory named
`raft` there was some unnecessary were there, which I removed in this
pull request. It will not confuse the developers when they read the
file.
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.

2 participants