box: split manual and automatic promotion
There are two use cases for box_promote(): it's either invoked manually or after a won election round. In the latter case promote() is much simpler. Part-of #6034
Showing
Loading
Please register or sign in to comment