Add 'Run in Docker' option for the main tool. (!56) · Merge requests · rmuntean / Tracking Changes · GitLab

To receive notifications about scheduled maintenance, please subscribe to the mailing-list gitlab-operations@sympa.ethz.ch. You can subscribe to the mailing-list at https://sympa.ethz.ch

rmuntean requested to merge docker into main Jan 15, 2023