I use a Samyang 24mm f1.4 manual lens. It is excellent and covers plenty of sky. I find infinity then put masking tape on to the focusser to keep it from deviating. I dont use it at f1.4 though - I find it is better at f2.0
Those Samyang lenses are really good value. Also sold as different brand - Rockinon. Same lens