Housekeeping/remove unused things #569

	name: Deploy (testnet-dev)
	on:
	pull_request:
	branches: [main]
	types: [closed]
	push:
	branches: [main]
	repository_dispatch:
	types: [deploy-testnet-dev]
	workflow_dispatch:

	jobs:
	sync:
	permissions:
	id-token: write
	contents: write
	runs-on: ubuntu-latest
	steps:
	- id: checkout
	name: Checkout
	uses: actions/checkout@v4
	with:
	ref: main
	fetch-depth: 0

	- id: configure
	name: Configure git
	run: \|
	git config user.name "GitHub Actions"
	git config user.email "actions@github.com"

	- id: sync-testnet-dev
	name: Sync 'main' → 'testnet-dev'
	run: \|
	git fetch origin testnet-dev:testnet-dev \|\| git branch testnet-dev
	git checkout testnet-dev
	git reset --hard origin/main
	git push --force origin testnet-dev

Provide feedback