branching: merge stable back into default

evolve 10.1.0 has been released.
8 jobs for topic/default/release-prep in 3 minutes and 55 seconds (queued for 1 second)