The fork owner can make a manual request to github to mark the repo as not a fork. It's pretty easy to do, I've done this for several other projects.
On Wed, Aug 18, 2021 at 12:54 PM Bjoern Rabenstein <[email protected]> wrote: > On 18.08.21 12:03, Julien Pivotto wrote: > > We should graveyard it. If you are concerned about redirecting people to > > the fork, we should transfer the ownership of the repo. > > Yeah, but transferring the ownership will require quite a risky dance > (because the fork already exists for a while, see my original mail). > > In any case, we now have diverging opinions about merely archiving > vs. graveyarding. I'll archive the repo now in any case, because that > doesn't exclude graveyarding later, but "stops the bleeding". > > Personally, I'm not very concerned about the redirect, but if we don't > do the redirect, we should graveyard only after a good while (if we > want to do it at all). > > Bottom line, I guess: Let's discuss the graveyarding in a few months > time. > > -- > Björn Rabenstein > [PGP-ID] 0x851C3DA17D748D03 > [email] [email protected] > > -- > You received this message because you are subscribed to the Google Groups > "Prometheus Developers" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/prometheus-developers/20210818105417.GT3669%40jahnn > . > -- You received this message because you are subscribed to the Google Groups "Prometheus Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/prometheus-developers/CABbyFmpTk87HMcOtsd638PcfhMC1fa4i9qhC7orO6uB4%2Bz0UFA%40mail.gmail.com.
