[jira] [Commented] (GEARPUMP-7) Master members are not updated if a master is shutdown

[ https://issues.apache.org/jira/browse/GEARPUMP-7?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=15262283#comment-15262283 ] ASF GitHub Bot commented on GEARPUMP-7: --- Github user manuzhang commented on the pull request:

[jira] [Commented] (GEARPUMP-7) Master members are not updated if a master is shutdown

[ https://issues.apache.org/jira/browse/GEARPUMP-7?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=15261925#comment-15261925 ] ASF GitHub Bot commented on GEARPUMP-7: --- Github user codecov-io commented on the pull request:

[jira] [Commented] (GEARPUMP-7) Master members are not updated if a master is shutdown

[ https://issues.apache.org/jira/browse/GEARPUMP-7?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=15259274#comment-15259274 ] Manu Zhang commented on GEARPUMP-7: --- [~clockfly], the sync is complete, could you open a PR ? > Master