An important point is being missed here. Lenses contract and expand with temperature changes, enough that stars can be way out of focus from one minute to the next. This is why lenses have to allow for focus beyond infinity at normal temperatures. Once it starts getting cold at night, there may be significant focus difference.
People who do astrophotography with telescopes are plagued with focus problems due to thermal issues. Most serious astrophotographers I know use some form of temperature compensating focuser. Lots of options, but the best seem to require sensor/focus motor feedback loops.
A typical DSLR won't be used at such extreme magnifications that you'd need to refocus during a shot. But you'd certainly want to focus at the shooting temperature, probably right before shooting.