Update pages

This commit is contained in:
Michiel Borkent 2022-02-15 11:12:43 +01:00
parent 5e71ba1ed2
commit e91302e808
7 changed files with 13 additions and 13 deletions

View file

@ -47,13 +47,13 @@ To create a new release:
To upgrade examples:
```
rg '0.0.1' --files-with-matches | xargs sed -i '' 's/0.0.1/0.0.4/g'
rg '0.0.1' --files-with-matches | xargs sed -i '' 's/0.0.1/0.1.0/g'
bb release
cd gh-pages
git checkout -b v0.0.4
git push --set-upstream origin v0.0.4
git checkout -b v0.1.0
git push --set-upstream origin v0.1.0
git checkout gh-pages
cd ..
```
Then make a new release on Github with the `v0.0.4` tag.
Then make a new release on Github with the `v0.1.0` tag.