At this point this is just to link to the comment in the merged PR so that it doesn't fall through the cracks. @M1chaelM is probably best positioned to describe what needs to be done post 4.3.0 release.
See: #199
This looks good, and we're going to try it out. It sounds like removing the dave repos from dave_sim.repos would ultimately make sense also, though we will do that later just for logistical reasons relating to our upcoming release.