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
See this PR - #975 - creating new profiles version required to change version numbers in many places manually. This process needs to be automated (e.g. using a version variable)
The text was updated successfully, but these errors were encountered:
We should have a mechanism to separate minor corrections to the website (live immediately) from changes that are part of a new release. The easiest solution I can think of:
upcoming-version can be brought in sync by merging in main, but the reverse should only be done when we plan to release a new version. That could kick off a bunch of build scripts (preferably a python script triggered by a GitHub Action) that:
See this PR - #975 - creating new profiles version required to change version numbers in many places manually. This process needs to be automated (e.g. using a version variable)
The text was updated successfully, but these errors were encountered: