Add project rename support in the sidebar (#1798)

a221542921Julius Marminge committed on 4/6/2026, 11:06:36 PM· committed by GitHubparent226ed99
2 files changedLine totals unavailable