For better or worse, I'm in the habit of this workflow for pull requests.
To do subsequent pull requests requires me forking the repo again, but that hasn't been an issue when interacting with GitHub, and avoids having to keep a fork in sync.
However, I did the same thing recently in pagure and noticed two things.
Repo "forks/carlwgeorge/pagure" already exists
I'll stop deleting my forks, but it seems like deleting and recreating a fork should be a valid use case.
How long was it between when you deleted and try to fork again?
It looks like from here that something went wrong when trying to delete the repo on disk.
Metadata Update from @pingou: - Issue tagged with: bug
I believe it was about a week apart.
Ok, so def a bug on pagure side, thanks :)
I tried normal deleting and re-forking on stg and it was working. I didn't repeat all the steps mentioned in description though
I am currently facing the same issue. During FLOCK 2017 (on 2017-Aug-31) I forked https://pagure.io/fedora-websites and at the end of the same day I deleted the fork. Today (on 2017-Sep-05) I am trying to fork the same repo again and I am getting the following error
Repo "forks/jkurik/fedora-websites" already exists
However the listing of forks https://pagure.io/fedora-websites/forks does not show such a fork.
So the underlying issue has been fixed in #2656
I'll be symptoms soon :)
Ok both forks forks/carlwgeorge/pagure.git and forks/jkurik/fedora-websites.git have been removed so you should be able to fork these projects again :)
forks/carlwgeorge/pagure.git
forks/jkurik/fedora-websites.git
Metadata Update from @pingou: - Issue close_status updated to: Fixed