The source project of this merge request has been removed.
Update postBuild
Set specific version number rwth-nb not only in Dockerfile but also in postBuild, such that mybinder will now build again :)
Aufgrund einer Wartung am 22.01.2026 von 14:30 bis 15:30 Uhr werden git.rwth-aachen.de & git-ce.rwth-aachen.de zeitweise nicht zur Verfügung stehen. --en-- Due to maintenance at January 22, from 2:30 p.m. to 3:30 p.m., git.rwth-aachen.de & git-ce.rwth-aachen.de will be temporarily unavailable.
Set specific version number rwth-nb not only in Dockerfile but also in postBuild, such that mybinder will now build again :)