github: remove unused registry key
github: remove unused registry key

GitOrigin-RevId: 9e39b5b8fc35a7c89dfbba4f9e50d73c5010e5be
allotria/intellij-community,allotria/intellij-community,allotria/intellij-community,allotria/intellij-community,allotria/intellij-community,allotria/intellij-community,allotria/intellij-community,allotria/intellij-community,allotria/intellij-community,allotria/intellij-community,allotria/intellij-community,allotria/intellij-community,allotria/intellij-community