| ## 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](/example/README.md) 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. |
