git-export: relax git checking for special directory

Merged Georges Racinet requested to merge topic/heptapod/git-export into branch/heptapod

This lift a constaint preventing us to push ther hg-git repository on heptapod.

#397 (closed)

Edited by Georges Racinet

Merge request reports