[petsc-dev] workflow diagram

[Karl Rupp]

>> One more thing: The graph does not contain the case where a feature
>> branch has been merged to master, but is soon after found to be buggy. A
>> discussion of how this gets resolved (new fix-branch vs. fixing the
>> feature branch) is needed as this shows up occasionally in practice.
>
> It's not supposed to. ;-)
>
> I don't know how to add this without creating too much clutter.

Yes, I agree that this would be too much clutter - hence the emphasis on 
a 'discussion' rather than altering the figure. :-)

Best regards,
Karli