Regeln

Dieser Markt wird mit „Ja“ aufgelöst, wenn es bei GitHub.com zwischen der Erstellung des Marktes und dem angegebenen Datum, 23:59 ET, zu einem Vorfall kommt, dessen Auswirkungen als „kritisch“ eingestuft werden. Andernfalls wird dieser Markt mit „Nein“ aufgelöst. Ein Vorfall gilt als qualifizierend, wenn die offizielle GitHub-Statusseite (githubstatus.com) oder die offizielle GitHub-Status-API (githubstatus.com/api) die Auswirkungen des Vorfalls als „kritisch“ einstuft, es sei denn, die betroffenen Komponenten bestehen, sobald der Vorfall als „Resolved“ markiert ist, ausschließlich aus Copilot und/oder Copilot AI Model Providers. Vorfälle, für die keine betroffenen Komponenten aufgeführt sind, gelten als qualifizierend. GitHub stuft die Auswirkungen von Vorfällen als Keine, Geringfügig, Schwerwiegend oder Kritisch ein; nur Kritisch gilt als qualifizierend. Komponentenstatus-Bezeichnungen (z. B. „Beeinträchtigte Leistung“, „Teilausfall“ oder „Schwerwiegender Ausfall“) haben für diesen Markt keine Bedeutung, sofern kein qualifizierender kritischer Vorfall vorliegt. Nach der Markierung eines Vorfalls als „Resolved“ veröffentlichte Änderungen werden nicht berücksichtigt. Wenn ein Vorfall, der vor 23:59 ET am angegebenen Datum begonnen hat, zu diesem Zeitpunkt noch nicht behoben ist, bleibt dieser Markt offen und wird zum früheren der folgenden Zeitpunkte aufgelöst: (i) wenn der Vorfall offiziell behoben ist oder (ii) am Ende des siebten Kalendertags (ET) nach dem angegebenen Datum. Zu diesem Zeitpunkt wird der Markt anhand der dann verfügbaren offiziellen Informationen aufgelöst. Vorfälle, deren betroffene Komponenten, sobald der Vorfall als „Resolved“ markiert ist, ausschließlich aus Copilot und/oder Copilot AI Model Providers bestehen, gelten nicht als qualifizierend. Geplante Wartungsarbeiten gelten nicht als qualifizierend. Die primäre Quelle für die Auflösung dieses Marktes sind die offiziellen Informationen zum Systemstatus von GitHub, die unter https://www.githubstatus.com/ veröffentlicht werden, einschließlich der offiziellen GitHub-Status-API (https://www.githubstatus.com/api); es kann jedoch auch ein Konsens glaubwürdiger Berichterstattung herangezogen werden.

Maschinelle Übersetzung. Im Streitfall gilt das Original.