You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
#. Define the ``GITHUB_TOKEN`` environment variable with a GitHub personal access token that has the ``repo`` scope.
174
+
The access token is used by the script at the next step.
175
+
173
176
#. Make a Pull Request with a re-generated ``releases.md`` which contains a copy of the GitHub release notes. This can be generated by doing:
174
177
175
178
.. code-block:: bash
@@ -186,6 +189,8 @@ For now, the UserGuide is released at the same time as the core library. If it's
186
189
187
190
#. This will automatically trigger a Github Action to build a new set of docs for that release and upload them. Due to the large size of the ``gh-pages`` branch on the UserGuide, this can be both slow and flaky, make sure to keep an eye out for any potential failures.
188
191
192
+
#. Follow the instructions in the `Clean up old development builds`_ section to remove old developer builds of the documentation.
193
+
189
194
190
195
Create a blog post outlining the release
191
196
----------------------------------------
@@ -205,10 +210,13 @@ Once the release is completed you can go ahead and update the ``develop`` branch
205
210
#. Once these changes are merged into the ``develop`` branch, message the developers on discord and GitHub Discussions letting them know that the feature freeze is over.
206
211
207
212
208
-
Clean up old developer builds of the documentation
Whilst new docs are automatically deployed on a release, old developer builds (appended with ``-dev``) are not automatically cleaned up. To avoid causing large amounts of files being uploaded to GitHub Pages, we need to delete these old developer builds manually. To do this switch to the ``gh-pages`` branch, make sure it is up to date with upstream (i.e., run ``git pull`` ), delete the old files, and push the change directly. You should do this for both the core library and the UserGuide.
210
218
211
-
Whilst new docs are automatically deployed on a release, old developer builds (appended with ``-dev``) are not automatically cleaned up. To avoid causing large amounts of files being uploaded to GitHub Pages, we need to delete these old developer builds manually. To do this switch to the ``gh-pages`` branch, delete these old files, and push the change directly. You should do this for both the core library and the UserGuide.
219
+
In addition, update `versions.json` to remove the old `-dev` entry.
212
220
213
221
While this is still a manual procedure, you should also edit `versions.json` to remove the old dev links.
0 commit comments