cleanup

Clean up after a PR is merged - delete branches and confirm issue closure