Remove Pantheon (removed from Fedora)

comps-sync.py

@@ -132,7 +132,7 @@ if (n_manifest_new > 0 or n_comps_new > 0) and args.save:
 
 # Generate treefiles for all desktops
 for desktop in [ 'gnome-desktop', 'kde-desktop', 'xfce-desktop',
-        'lxqt-desktop', 'deepin-desktop', 'pantheon-desktop', 'mate-desktop']:
+        'lxqt-desktop', 'deepin-desktop', 'mate-desktop']:
     print()
     print("Syncing packages for {}:".format(desktop))
 

fedora-pantheon.yaml

@@ -1,15 +0,0 @@
-include: pantheon-desktop-pkgs.yaml
-ref: fedora/rawhide/${basearch}/pantheon
-rojig:
-  name: fedora-pantheon
-  summary: "Fedora Pantheon base image"
-  license: MIT
-packages:
-  # Generic release package for desktop variants
-  - fedora-release
-  - fedora-release-ostree-desktop
-
-repos:
-  - fedora-rawhide
-  # - fedora-38
-  # - fedora-38-updates

pantheon-desktop-pkgs.yaml

@@ -1,55 +0,0 @@
-# DO NOT EDIT! This content is generated from comps-sync.py
-include: fedora-common-ostree.yaml
-packages:
-  - contractor
-  - elementary-calculator
-  - elementary-calendar
-  - elementary-camera
-  - elementary-capnet-assist
-  - elementary-code
-  - elementary-files
-  - elementary-greeter
-  - elementary-icon-theme
-  - elementary-music
-  - elementary-notifications
-  - elementary-photos
-  - elementary-print
-  - elementary-screenshot-tool
-  - elementary-shortcut-overlay
-  - elementary-sideload
-  - elementary-sound-theme
-  - elementary-terminal
-  - elementary-theme
-  - elementary-videos
-  - elementary-wallpapers
-  - gala
-  - gnome-session
-  - pantheon-agent-geoclue2
-  - pantheon-agent-polkit
-  - pantheon-session-settings
-  - plank
-  - switchboard
-  - switchboard-plug-a11y
-  - switchboard-plug-about
-  - switchboard-plug-applications
-  - switchboard-plug-bluetooth
-  - switchboard-plug-display
-  - switchboard-plug-keyboard
-  - switchboard-plug-mouse-touchpad
-  - switchboard-plug-networking
-  - switchboard-plug-notifications
-  - switchboard-plug-pantheon-shell
-  - switchboard-plug-printers
-  - switchboard-plug-sharing
-  - switchboard-plug-sound
-  - wingpanel
-  - wingpanel-applications-menu
-  - wingpanel-indicator-bluetooth
-  - wingpanel-indicator-datetime
-  - wingpanel-indicator-keyboard
-  - wingpanel-indicator-network
-  - wingpanel-indicator-nightlight
-  - wingpanel-indicator-notifications
-  - wingpanel-indicator-power
-  - wingpanel-indicator-session
-  - wingpanel-indicator-sound