Merge #3588

3588: Ignore monitoring of cold hot cons beeing demoted r=karknu a=karknu

Let the con monitor ignore currently cold connections that where hot and
is in the process of beeing demoted. This means will leave it up to the
demotion job to detect the error and fail.

Co-authored-by: Karl Knutsson <karl.knutsson@iohk.io>

ouroboros-network/src/Ouroboros/Network/PeerSelection/Governor/Monitor.hs

@@ -210,7 +210,8 @@ connections PeerSelectionActions{
 
     -- a hot -> cold transition has occurred if it is now cold, and it was hot
     asyncDemotion peeraddr PeerCold
-      | peeraddr `Set.member`    activePeers          = Just PeerCold
+      | peeraddr `Set.member`    activePeers
+      , peeraddr `Set.notMember` inProgressDemoteHot  = Just PeerCold
 
     asyncDemotion _        _                          = Nothing