4 Checkout the `website` branch. (This requires git-lfs.)
6 Add new release files under the files directory. Update man html files
7 under the man directory. Push the website branch. This will *not*
8 trigger a website rebuild.
10 On the `master` branch, update the www/releases.html file. Push the
11 branch, triggering a website rebuild. The website rebuild will use the
12 `website` branch, which is why the `website` branch should be pushed