Is that safe? Is there not a risk then that we accidentally use the "dev" version when this is pushed to prod?