List of steps to reproduce (step by step, including full links if applicable):
Tool is not available: nginx 502 Bad Gateway problem
Hi, this is not a production error by definition
The problem has been solved, but please, can somebody document the root cause, and its solution? (and maybe indicate which hotline can be contacted in case the problem occurs again?).
Indeed, cannot reproduce anymore - https://isa.toolforge.org/ seems to be accessible.