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