This is a difficult problem with auto focus lenses and I'll agree with Mike on the solution. I highly suggest you don't try to manually focus to infinity, at least with Canon EF lenses. I'm talking about not only night with lightning, but in the daylight also. I have tried manual focus to infinity with all my lenses and two different Canon cameras. I almost never get "true" infinity in manual mode, that is, a sharp horizon. I have set up my cameras on tripods and gone through many tests and can never get consistency. Unlike old camera systems where the lens decided infinity, EF lenses do focus within the camera. There are numerous instances of Canon cameras having what's called front focus or back-focus problems where the camera's focus in not dead on. This can be fixed by Canon if the camera and lens are sent in for adjustment. What this means is if you want a true infinity you need to get the camera to make that decision. As suggested for lightning try to focus on the horizon, some object or light. Move the camera sensor (only one as recommended previously) across the horizon in an up and down motion until the red light blinks and the camera beeps (if sound it turned on). Then carefully set the lens to manual, but that only works if you never touch the focus ring, any small bump and you'll be slightly off infinity and never know it...until you look at your blurred image at home. Another thing you can do is take a shot then zoom the image into the horizon or distant light to see if it's sharp: that is, if your camera model has the ability to zoom the image after its been shot. What I would love to see is Canon to adopt an "infinity lock" solution like we have on many Sony video cameras, that would solve the problem.
Gene Moore