Please check the window drip bucket. It gets full fast during a steady rain.
Seriously, has there been any info from Garden Street on roof repairs? I’ve got a spare sump pump we can rig to pump outside. But it seems too nerdy to auto drain the bucket rather than fix the drip.