What do you know, GitHub has finally fixed the bug preventing us from pinning it...
The repo was only missing because pinning it just didn't work, it wouldn't show up in the UI, and if you tried to pin via API it did nothing. I've now pinned it On Mon, 4 Apr 2022 at 23:53, 'Gavin Mogan' via Jenkins Developers < [email protected]> wrote: > If I remember correctly, any member of the org can pin and unpin repos so > we kinds gave up trying to manage it. > > On Mon., Apr. 4, 2022, 3:48 p.m. Alexander Brandes, <[email protected]> > wrote: > >> Heyo all, >> >> GitHub currently rolls out changes to the organization overview. >> Previously, three pinned repositories built a line. >> >> This behavior has changed. Two pinned repositories do now build a line, >> while four pinned repositories build a box. >> Currently, there are three pinned repositories, which render a box with >> an unused slot. >> >> I would like to see jenkinsci/jenkins pinned to fill this gap, any >> opinions about it? >> >> ~ Alex >> >> -- >> You received this message because you are subscribed to the Google Groups >> "Jenkins 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/jenkinsci-dev/4993ff54-df06-4b2e-9e26-ea996514aaf1n%40googlegroups.com >> <https://groups.google.com/d/msgid/jenkinsci-dev/4993ff54-df06-4b2e-9e26-ea996514aaf1n%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> > -- > You received this message because you are subscribed to the Google Groups > "Jenkins 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/jenkinsci-dev/CAG%3D_DutEXsqZTe8%2BQBEMu%2B3BEVzR%3DxeYWxAv8jS%3DBeF4Hgb5Sw%40mail.gmail.com > <https://groups.google.com/d/msgid/jenkinsci-dev/CAG%3D_DutEXsqZTe8%2BQBEMu%2B3BEVzR%3DxeYWxAv8jS%3DBeF4Hgb5Sw%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "Jenkins 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/jenkinsci-dev/CAH-3BifC6yeH4JFHs%2BmC0pGSXjkMPKVt2f3YD2pZ1Ht-9Cq%3DkA%40mail.gmail.com.
