Update pinned repositories on the jenkinsci organization

[Alexander Brandes]

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

[Gavin Mogan]

If I remember correctly, any member of the org can pin and unpin repos so we kinds gave up trying to manage it.

--
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 jenkinsci-de...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/4993ff54-df06-4b2e-9e26-ea996514aaf1n%40googlegroups.com.

[Tim Jacomb]

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

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.

[Alexander Brandes]

> 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.