Bump the dev-docker group with 3 updates #2688

Job	Run time
post-welcome-message	0s
Manage Trac ticket reminders for pull requests	-8s
Comment on a pull request with Playground details	-9s
	-17s

Provide feedback