NeonDB not deleting branches after closing Github PRs - Neon