I got an unexpected ssh disconnect from gitmaster a little while ago,
and when I tried to reconnect just now, ssh informed me that it had
never heard of 174.143.35.198 before. Is this legit or is something
fishy going on?
(If it was intended, a bit of notice would have been appropriate.)
regards, tom lane