github :: PullRef :: defaultinit
# A pull request reference (used for head and base).
class PullRef
serialize
# Label pointed by `self`.
var labl: String is writable, serialize_as("label")
# Reference pointed by `self`.
var ref: String is writable
# Commit SHA pointed by `self`.
var sha: String is writable
# User pointed by `self`.
var user: User is writable
# Repo pointed by `self` (if any).
#
# A `null` value means the `repo` was deleted.
var repo: nullable Repo is writable
end
lib/github/api.nit:737,1--757,3