Path of commented file.

Property definitions

github $ PullComment :: path
	# Path of commented file.
	var path: String is writable
lib/github/api.nit:948,2--949,29