> 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 timja...@gmail.com 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
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,
wrote:
> Heyo all,
>
> GitHub currently rolls out changes to the organization overview.
> Previously, three pinned repositories
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,
