Hi all, this was briefly mentioned in the past. the idea is to leave only libraries and plugins in plasma-workspace, and mode plasma-shell in the new plasma-workspace repository instead. Is everybody fine with this? Also, how to do the move? (i think filter-branch is the only option in this case?) -- Marco Martin