[bob-devel] update no pin list

2 jobs for bob-devel-update in 71 minutes and 33 seconds (queued for 7 seconds)