Guy Smoilov b40b85e006 repo: delete local copies on owner name change (#5843) ...

* Protect local repo copy deletion with repoWorkingPool, and delete the local
copy on owner name change.

* Update internal/db/user.go

Co-Authored-By: Unknwon <u@gogs.io>

* Error format on local repo and wiki deletion

2019-11-03 11:07:40 -08:00

73 KiB

Raw Blame History

View Raw