cubicweb #1821172 source removal doesn't work [resolved]

several pbs on the way

prioritynormal
typebug
done in3.13.1
load0.500
load left0.000
closed by#278fe9c1f3ad [repo] closes #1821172: fix source deletion