The time stamps are the key here, not the question of formality.

I really appreciate a “Good morning” if chatting before working hours.

Still, the question can be added in the same message to cut down on the wait time for an answer.