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.

Sign up for GitHub

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

Jump to bottom

Refactor/improve re-joining of dead nodes #29

Open
localghost opened this issue Jan 15, 2020 · 0 comments
Open

Refactor/improve re-joining of dead nodes #29

localghost opened this issue Jan 15, 2020 · 0 comments
Assignees
@localghost
Labels
pr:medium task New feature or request
Projects
membership

Comments

@localghost
Copy link
Owner

Follow up of #23
@localghost localghost added task New feature or request pr:medium labels Jan 15, 2020
@localghost localghost self-assigned this Jan 15, 2020
@localghost localghost added this to ToDo in membership via automation Jan 15, 2020
@localghost localghost mentioned this issue Jan 15, 2020
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@localghost localghost

Labels
pr:medium task New feature or request
Projects
membership
  
ToDo
Milestone
No milestone
Development

No branches or pull requests
1 participant
@localghost