From b877fd3eaa68472bc8f7890c18ecd58d4da00687 Mon Sep 17 00:00:00 2001 From: laurentheirendt <laurent.heirendt@uni.lu> Date: Fri, 12 Apr 2019 19:12:14 +0200 Subject: [PATCH] move autoredirect to .ci -- GitLab