Note: If you need to publish a new version of devtools_server, you will need to do that prior to performing these steps, and update the devtools pubspec.yaml to reference the new version of devtools_server.
Create a branch for your release. Below we're creating release 0.0.15, with all the PRs.
cd ~/devtools-git/devtools checkout master git pull upstream master git checkout -b release_0_0_15
Change version: 0.0.14 to version: 0.0.15
Change version: 0.0.14 to version: 0.0.15
Change const String version = '0.0.14'; to const String version = '0.0.15';
Add the release number and date followed by the features or changes e.g.,
## 0.0.15 - 2019-04-01 * Added a great feature ...
git add packages/devtools_app/lib/devtools.dart git add packages/devtools_app/pubspec.yaml git add packages/devtools/pubspec.yaml git add pavackages/devtools/CHANGELOG.md git commit -a -m “Prepare for v0.0.15 release.” git push origin release_0_0_15
From the git UI tool create the PR, squash and commit.
Ensure that the tip of master is the above commit, just made with the exact set of PRs wanted. Otherwise, checkout using the SHA1 of the above commit e.g.,
git checkout -b release_15 <SHA1>then proceed to the step ‘Prep to publish’.
cd ~/devtools-git/devtools git checkout master git pull upstream master
./tool/publish.sh
cd packages/devtools_app pub publish ... Looks great! Are you ready to upload your package (y/n)? y cd packages/devtools pub publish ... Looks great! Are you ready to upload your package (y/n)? y
git checkout .gitignore
git tag -a v0.0.15 -m "DevTools 0.0.15" git push upstream v0.0.15