Remove the dead Profile link from the sidebar profile menu #50

Merged
lilleman merged 2 commits from remove-dead-profile-link into main 2026-08-05 01:14:05 +02:00

2 Commits

Author SHA1 Message Date
lilleman 64d1387df2 Scope the profile-menu assertion to the menu itself
CI / full-gate (push) Successful in 2m38s
Mirror / github-mirror (push) Successful in 7s
2026-08-05 01:08:09 +02:00
lilleman 3c64621515 Remove the dead Profile link from the sidebar profile menu
CI / full-gate (push) Successful in 2m39s
2026-08-05 01:01:14 +02:00