GitHub、「GitHub Enterprise Server 3.13」をリリース

米GitHubは、エンタープライズ向けのソフトウェア開発用セルフホスト型プラットフォームであるGitHub Enterprise Serverの最新バージョンとなる「GitHub Enterprise Server 3.13」を、6月18日（現地時間）にリリースした。