Fixed bug deleting repository
authorSybren A. Stüvel <sybren@stuvel.eu>
Fri, 10 Nov 2017 08:57:33 +0000 (09:57 +0100)
committerSybren A. Stüvel <sybren@stuvel.eu>
Fri, 10 Nov 2017 08:57:33 +0000 (09:57 +0100)
commit9b78fbda87c47e13cd15ce4afe911e171582cbb6
tree399d60237ee6843ec109ead11b99dc46e0a8b2d4
parent46151812b4a7cf7c0212ea2d0317fe3f8f10d7f6
Fixed bug deleting repository

It left the list of users intact, causing desynchronisation issues when
creating a new repo.
svnman/__init__.py
tests/test_pillar_extension.py