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 3b6bcc10 succeeds
mentioned in commit 74228ad6
merged