From 5660103a13878120fc02df48285a0c29a1668412 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

Former-commit-id: b877fd3eaa68472bc8f7890c18ecd58d4da00687
-- 
GitLab