RealTimePullRequestEvent interface

Contratto di base per un evento di richiesta pull in tempo reale (SignalR)

Proprietà

eventId

ID dell'evento. Può essere usato per tenere traccia dello stato di invio/ricezione tra client e server.

pullRequestId

ID della richiesta pull per cui è stato generato questo evento.

Dettagli proprietà

eventId

ID dell'evento. Può essere usato per tenere traccia dello stato di invio/ricezione tra client e server.

eventId: string

Valore della proprietà

string

pullRequestId

ID della richiesta pull per cui è stato generato questo evento.

pullRequestId: number

Valore della proprietà

number