On Mon, Sep 11, 2017 at 09:38:27AM +0200, Jan Kurik wrote: > On Sat, Sep 9, 2017 at 9:08 PM, Kevin Fenzi <kevin@xxxxxxxxx> wrote: > > On 09/08/2017 03:56 AM, Pierre-Yves Chibon wrote: > >> On Thu, Sep 07, 2017 at 11:56:57AM -0700, Kevin Fenzi wrote: > >>> +1 here. > >>> > >> > >> > >> +1 as well, sorry I forgot to do this before freeze :s > > > > Applied. > > > > However, when I tried deleting one of my forks it gave a 500 error, then > > when I tried to fork that same project again it said it already existed. ;( > This might be related to another Pagure issue: > https://pagure.io/pagure/issue/2520 No the error Kevin reported occurs when deleting the fork and is due to the nature of the setup on dist-git (where there are no docs and tickets repos which the delete method needs to be taught about) while this ticket is due to error in re-creating a project after something went wrong when trying to delete the git repo on disk. Somewhat related but not entirely. Pierre _______________________________________________ infrastructure mailing list -- infrastructure@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to infrastructure-leave@xxxxxxxxxxxxxxxxxxxxxxx
