6543 3bcf2e5c18

Close the gitrepo when deleting the repository (#15876) (#15887) ...

Signed-off-by: Andrew Thornton <art27@cantab.net>

Co-authored-by: zeripath <art27@cantab.net>

2021-05-16 00:45:17 +03:00

..

v1

Close the gitrepo when deleting the repository (#15876) (#15887)

2021-05-16 00:45:17 +03:00