List of steps to reproduce (step by step, including full links if applicable):
What happens?:
Tool is not available: nginx 502 Bad Gateway problem
List of steps to reproduce (step by step, including full links if applicable):
What happens?:
Tool is not available: nginx 502 Bad Gateway problem
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.