Fix reloading git projects

Julien LepillerMon Nov 11 11:59:18+0100 2019

be3cdf5

offlate/doc
namelast commitdate
conf.pyInitial commitMon Apr 02 21:51:58+0200 2018
index.rstInitial commitMon Apr 02 21:51:58+0200 2018