GitHub にはアカウントデータを取得する「エクスポート機能」がある．リポジトリ情報だけではなく，issue 情報（コメント含む）やプルリクエスト情報（コメント含む）などもエクスポートできる．2018年12月にリリースされた機能だけど実は今まで使ったことが…