We no longer need to use srun to enter the allocated machine. Make sure that the default allocation time is also specified.
Ask users to clone the repository with the development shells instead, so we can keep the repository easily updated.