Fix rich workspaces on case insensitive filesystems#834

juliusknorr merged 1 commit intomasternextcloud/text:masterfrom

bugfix/807nextcloud/text:bugfix/807Copy head branch name to clipboard