Rebuild Docker image for your profile
All changes to the repository which affect the runtime environemnt (installed jupyter kernel, Conda's environment.yml, Pip's requirements.txt ) require a rebuild of the underlying Docker image of your profile.
Such a rebuild needs to triggerd manually by the profile manager:
- Check if you have the manager role for your profile by visiting: https://jupyter.rwth-aachen.de/services/whoami/
- Ensure that you are member of a group named: manager-{profile_slug}
- Navigate to https://jupyter.rwth-aachen.de/services/profile/
- Select your profile from the drop-down
- Press the button "Trigger new build of Docker image"
