You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Consider cleaning up the repository root directory #5930
I agree we could move or remove the "historic" GotoBLAS files and remove some legacy CI configurations, but that would only gain something like ten to fifteen lines. Anything beyond that would mean reshuffling code just to cater to the current github layout, and its effectiveness would still depend on screen size. I'm not convinced that it's worth it.
Activity
moluopro commentedon Jul 19, 2026
It might even scare off newcomers — just kidding :)
martin-frbg commentedon Jul 21, 2026
I agree we could move or remove the "historic" GotoBLAS files and remove some legacy CI configurations, but that would only gain something like ten to fifteen lines. Anything beyond that would mean reshuffling code just to cater to the current github layout, and its effectiveness would still depend on screen size. I'm not convinced that it's worth it.