Add theme: Hide Inactive Workspaces #281

	name: Submit PR
	on:
	pull_request:
	branches:
	- main
	types: [closed]
	workflow_dispatch:

	jobs:
	submitPR:
	permissions: write-all
	name: Rebuild themes after theme submission
	runs-on: ubuntu-latest
	steps:
	- name: Checkout code
	uses: actions/checkout@v2
	with:
	token: ${{ secrets.GITHUB_TOKEN }}

	- name: Install python
	uses: actions/setup-python@v2
	with:
	python-version: '3.x'

	- name: Setup python modules
	run: \|
	pip3 install requests

	- name: Setup Git
	run: \|
	git config --global user.name "github-actions[bot]"
	git config --global user.email "github-actions[bot]@users.noreply.github.com"

	- name: Rebuild all themes
	run: \|
	python3 scripts/rebuild_themes.py

	- name: Commit changes
	run: \|
	git add themes.json
	git add themes/*
	git commit -m "Rebuild themes.json after theme submission"
	git push

Provide feedback