Just a heads-up that in the context of 2.0 work, we are preparing a rename of “Workflow” to “Pipeline” at the user/display level.
https://issues.jenkins-ci.org/browse/JENKINS-31153 gives some background on why this is important for new users. Things like class names cannot and will not be changed. Currently changing the plugin short name is also impossible. -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CANfRfr0DDYA8qy8cL34o2rsB78UcpfO7R9TVvyaXN4P1rKMAYw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
