How gas pumps know when to turn themselves off

» youtu.be — originally shared here on 2022-12-04

Don't tell me you haven't wondered this yourself. What a clever piece of technology that we all take for granted.