Pull request head (can be a commit SHA or a branch name).

Property definitions

github $ PullRequest :: head=
	# Pull request head (can be a commit SHA or a branch name).
	var head: PullRef is writable
lib/github/api.nit:701,2--702,30