updates from the Bash tasks did not get pushed on last push