Aturan

Pasar ini akan diselesaikan sebagai "Ya" jika GitHub.com mengalami insiden yang dampaknya diklasifikasikan sebagai "kritis" antara waktu pembuatan pasar dan tanggal yang tercantum, 23.59 ET. Jika tidak, pasar ini akan ditetapkan ke "Tidak". Suatu insiden memenuhi syarat jika GitHub Status Page resmi (githubstatus.com) atau GitHub Status API resmi (githubstatus.com/api) mengklasifikasikan dampak insiden sebagai "kritis", kecuali jika komponen yang terdampak, setelah insiden ditandai "Resolved", hanya terdiri atas Copilot dan/atau Copilot AI Model Providers. Insiden yang tidak mencantumkan komponen terdampak apa pun akan memenuhi syarat. GitHub mengklasifikasikan dampak insiden sebagai None, Minor, Major, atau Critical; hanya Critical yang memenuhi syarat. Label status komponen (misalnya, "Kinerja Menurun", "Gangguan Sebagian", atau "Gangguan Besar") tidak akan berpengaruh pada pasaran ini jika tidak ada insiden kritis yang memenuhi syarat. Revisi yang diterbitkan setelah suatu insiden ditandai "Resolved" tidak akan dipertimbangkan. Jika insiden yang dimulai sebelum 23.59 ET pada tanggal yang tercantum masih belum terselesaikan pada waktu tersebut, pasar ini akan tetap terbuka dan diselesaikan pada waktu yang lebih awal dari: (i) saat insiden resmi dinyatakan terselesaikan, atau (ii) akhir hari kalender ketujuh (ET) setelah tanggal yang tercantum. Pada saat itu, pasar akan diselesaikan berdasarkan informasi resmi yang tersedia. Insiden yang komponen terdampaknya, setelah insiden ditandai "Resolved", hanya terdiri atas Copilot dan/atau Copilot AI Model Providers tidak akan memenuhi syarat. Pemeliharaan terjadwal tidak memenuhi syarat. Sumber utama untuk penyelesaian pasaran ini adalah informasi status sistem resmi GitHub yang dipublikasikan di https://www.githubstatus.com/, termasuk GitHub Status API resmi (https://www.githubstatus.com/api); namun, konsensus dari pemberitaan yang kredibel juga dapat digunakan.

Terjemahan mesin. Jika ada perselisihan, teks asli yang berlaku.