Oh, nice, thanks. I haven't been using github recently, it looks like this option was added ~1.5y ago.