Update dev-and-workflow.md