From 0ff1e2060c3eab21e8eef812b43476970c797326 Mon Sep 17 00:00:00 2001 From: Florian Scholdei Date: Thu, 11 Apr 2019 13:46:28 +0000 Subject: [PATCH] Close branch bugfix/repo_git_config_permissions