The current push script built by generate.bash deletes the remote tags before pushing new tags to prevent older tags lurking around. It doesn't do this for the experiments and all older experiments remain in the repository after a new get-started-experiments repository is created.
We should delete all the experiments in the remote before this line in the push script:
The current push script built by
generate.bash
deletes the remote tags before pushing new tags to prevent older tags lurking around. It doesn't do this for the experiments and all older experiments remain in the repository after a newget-started-experiments
repository is created.We should delete all the experiments in the remote before this line in the push script: