Rebuild Docker Image for Your Profile

All changes to the repository which affect the runtime environment(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 be triggered manually by the profile manager and can be achieved by following these steps:
Step 1
Check if you have the manager role for your profile by visiting: https://jupyter.rwth-aachen.de/services/whoami/
Ensure that you are a member of a group named: manager-{profile_slug}
Step 2
Navigate to https: //jupyter.rwth-aachen.de/services/profile/
Step 3
Select your profile from the drop-down.
Step 4
Press the button "TRIGGER BUILD OF NEW DOCKER IMAGE".

