> 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.
Interesting, I didn't encounter that yet, but nice to see it being resolved. On Tuesday, 5 April 2022 at 08:16:42 UTC+2 [email protected] wrote: > 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/72696802-6063-4336-8b8a-59bb4720c117n%40googlegroups.com.
