Adapt to the new structure of bob with bob/bob on top.
bob/bob
assigned to @ydayer
enabled an automatic merge when the pipeline for 4125d2d7 succeeds
mentioned in commit 5dd5be8b
merged