Instructions on releasing Webdev

• From the /tool directory in the mono-repo root, run: dart run release.dart -p webdev
• Open a PR with those changes (example PR: https://github.com/dart-lang/webdev/pull/1498)
• Note: Before submitting your PR, test that everything is working by following instructions in the webdev/example README to run the example app and connect to Dart DevTools.
• Once the PR is submitted, go to https://github.com/dart-lang/webdev/releases and create a new release, eg https://github.com/dart-lang/webdev/releases/tag/webdev-3.0.0. This should trigger the auto-publisher. Verify that the package is published.
• From the /tool directory in the mono-repo root, run: dart run release.dart --reset -p webdev -v <<new version of webdev>>
• Submit a PR with those changes.