Deleting a fork in src.fedoraproject.org?

[Christopher]

I was playing around in the new Pagure https://src.fedoraproject.org/ and I
created a fork of a repo to test. However, I don't need or want this fork.
How do I delete it? There doesn't appear to be an option.

[Igor Gnatenko]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

On Fri, 2017-09-08 at 22:35 +0000, Christopher wrote:
>  I was playing around in the new Pagure
> https://src.fedoraproject.org/
>   and I
>  created a fork of a repo to test. However, I don't need or want this
>  fork.
>  How do I delete it? There doesn't appear to be an option.
https://lists.fedoraproject.org/archives/list/[e-mail]
raproject.org/thread/MPFTHDDRXO6DSGZFA33J4TFHAKQK3LNU/

tl;dr it is possible, but not yet enabled in infrastructure. Hopefully
it will be deployed soon.
>  _______________________________________________
>  devel mailing list -- devel(a)lists.fedoraproject.org
>  To unsubscribe send an email to devel-leave(a)lists.fedoraproject.org 
- -- 
- -Igor Gnatenko
> -----BEGIN PGP SIGNATURE-----
>
> iQIzBAEBCAAdFiEEhLFO09aHZVqO+CM6aVcUvRu8X0wFAlmzlGEACgkQaVcUvRu8
> X0xeJxAAuQGXw6WEQ4LpnW2UXo9srhIdjwUl45Eo5ne4fM/y9Z0JsYFKLR20IdAA
> 2kMAyluCI9L+WYTL9yhHtBOFyQP6Jh704s17FUQSV+mO0PN5o7gb97Dn73q/Jimj
> 6QVHprdQ97bM95qAlOvgyvg8wz3fVjWGn+6JlQ3lJLvf0ppPPb4nemF0Y6G5VEmy
> HVHX/0ODReTtKyZ3IVOhkRl+3Yt5e72EV9JMohYD33CT9Ci/PBewRYF+rXEtyDUd
> 6I82L96nSMXykzOfqpAq0yx+lbwcx8xk1Yg7We+H6vHm2uJ7BW21MI7Wxi/sS9Vh
> saB311jjeKkh0I4yCqX8ZuDeN5NnXZBPRv3vxZz3Fl2WImsFHJ1Ee44vioKFOMQG
> lTRyN2+dJPD61P0+bQB0UKW4ibdMrjgFBbqe3042T5yy5XS5kKWlyehLbtKhekkM
> k78FM1Z43FGLXG6DR3n0+rOjC+3HaonMlmGGQ6r6g1VJok9w4QNb9wX7vaZ5snLT
> cR6LwVacEhHeFOjlURUDs/f6HWFQW59bpAJ8fNjcS1Yh7shtkjOE/2sbP4V9nuhb
> tD9LfdF2ViOJT71CNl6agkckReyeHSdyPEAmj0B6rbibxBvKb5JSDTdqLvXdYhCI
> HkLtIq49TVHnFqVlCPCZLJZdEvxr0mcK2RKSqsFrp1xA0lvlCHM=
> =yxLL
> -----END PGP SIGNATURE-----

[Kevin Fenzi]

On 09/08/2017 03:35 PM, Christopher wrote:
>  I was playing around in the new Pagure https://src.fedoraproject.org/
> and I
>  created a fork of a repo to test. However, I don't need or want this fork.
>  How do I delete it? There doesn't appear to be an option. 
Go to the fork page, click on 'settings', to to the bottom and click on
the big red "delete the ... project" button.

Also, finally you should be able to now make a fork then delete it, then
make it again if you like.

kevin