Rename desktops from tags_desktop to device_roles_workstation

I already have the role so I may as well

.gitlab-ci.yml

@@ -69,7 +69,7 @@ Play_Against_Pis:
 Play_Against_Desktops:
   stage: play
   script:
-    - ansible-playbook -l tags_desktop site.yml --vault-password-file /vaultpw || error="$?"
+    - ansible-playbook -l device_roles_workstation site.yml --vault-password-file /vaultpw || error="$?"
     - if [ "$error" -eq 4 ]; then echo "Some hosts were unreachable; masking error"; unset error; fi
     - if [ -n "$error" ]; then echo "Return code $error"; false; fi
 Play_Against_Production:

playbooks/desktop.yml

@@ -2,7 +2,7 @@
 # vim:ft=ansible:
 ---
   # Home desktops
-- hosts: tags_desktop
+- hosts: device_roles_workstation
   tasks:
     - name: assure pi-storage-1 nfs mountpoint
       file: path=/nfs/pi-storage-1.desu.ltd state=directory owner=root mode=0755