digraph pr {
	graph [ dpi = 300 ];
	"Patch (git branch)" -> "Open pull-request" [label=" Via web, usually"];
	"Open pull-request" -> "Review";
	"Review" -> "Patch (git branch)" [label=" Adjustments needed?"];
	"Review" -> "Incorporate into main repository" [label=" Accepted?"];
	"Incorporate into main repository" -> "Ship to users" [label=" When release is stable"];
}