URL to patch file

Property definitions

github $ PullRequest :: patch_url=
	# URL to patch file
	var patch_url: nullable String is writable
lib/github/api.nit:733,2--734,43