A shell extension for using the pop theme toggle.
To install, clone this repo and use make to install
$ git clone https://github.com/kylecorry31/gnome-shell-extension-pop-theme-toggle
$ cd gnome-shell-extension-pop-theme-toggle
$ make
$ make install
The extension then must be enabled using Gnome Tweak Tool or https://extensions.gnome.org/local/