Subject: Re: [bug#43816] [PATCH] services: gitolite: Install the rc file as gitolite's user.
From: Julien Lepiller <[email-masked]>
To: Christopher Baines <[email-masked]>
Cc: [email-masked]
Date: Mon, 5 Oct 2020 19:43:16 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Thank you, pushed as 4e3ed9bad9ed5758cdee6e636805f65e9ab710eb.