From 22948b3d10ea29c08d449cb05921be8492a3d65d Mon Sep 17 00:00:00 2001 From: Sergio Durigan Junior Date: Thu, 9 May 2019 17:12:58 -0400 Subject: [PATCH] Use standard names for nodes on pull-request.dot. --- graphs/pull-request.dot | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/graphs/pull-request.dot b/graphs/pull-request.dot index 60258b2..7132d91 100644 --- a/graphs/pull-request.dot +++ b/graphs/pull-request.dot @@ -1,8 +1,8 @@ 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"]; + "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"]; }