.PHONY: sync-from-github sync-to-github

# Pull latest changes from the GitHub mirror and push them to Gitea
sync-from-github:
	git pull github main
	git push origin main

# Push local changes to the GitHub mirror
sync-to-github:
	git push github main