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(a)scrye.com>
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