🐛 prevent leader election when shutting down a non-elected manager
GitHub Actions / PR Type
succeeded
Mar 24, 2024 in 23h 57m 22s
PR Type in Title
Found 🐛 PR (bugfix)
Details
Final title:
prevent leader election when shutting down a non-elected manager
Loading