[bash.d/bash12_notes] Whoops, for to fill in the pull command