GitHub v.3 API for repository dataは、指定されたリポジトリの整数識別子を返します。この識別子は、返されたデータ内のフィールドid
の値です。この例では、番号1296269である:リポジトリまたはその所有者アカウントが、その後削除されても、リポジトリに割り当てられるとGitHubリポジトリのID番号は永久ですか?
[
{
"id": 1296269,
"owner": {
"login": "octocat",
... stuff omitted for brevity ...
},
"name": "Hello-World",
"full_name": "octocat/Hello-World",
... stuff omitted for brevity ...
}
]
は今まで再利用与えられた識別子値ますか?言い換えれば、識別子はユニークでパーマネントであり、他のリポジトリでは一度も再利用されませんか?
この文脈では、単にリポジトリの名前を変更するという意味ではありません。同じ意味で「再利用」するとはみなされず、リポジトリのコンテンツを他のコンテンツと完全に置き換えることもありません。私は具体的にGitHub id
の値が "リサイクル"されているかどうかを理解しようとしています。
(私は正直にGitHubのドキュメントやウェブで検索、しかし、いずれかの方法でステートメントを見つけることができませんでした。私はそれを逃した場合、私は謝罪し、適切な文書を指摘するために幸せになる。)