GitHub、「GitHub Enterprise Server 3.9」を正式リリース　GitHub Projectsの改良など新機能が追加（関連情報）：管理、セキュリティ、可観測性、スケーリングなどの機能が向上