[boost] release managers: permission to merge?