chore(main): release 1.13.0#713

gkevinzheng merged 1 commit intomaingoogleapis/python-error-reporting:mainfrom

release-please--branches--maingoogleapis/python-error-reporting:release-please--branches--mainCopy head branch name to clipboard