diff --git a/DEPLOY.md b/DEPLOY.md new file mode 100644 index 0000000000000000000000000000000000000000..ddd2fd73e271081058a43a23d3324465c4d2905f --- /dev/null +++ b/DEPLOY.md @@ -0,0 +1,14 @@ +# Deployment of new UFrameIT Releases + +TODO: describe how to deploy here + +## Versioning + +Always release [UFrameIT/UFrameIT](https://github.com/UFrameIT/UFrameIT) (this repo) and [FrameIT/frameworld](https://gl.mathhub.info/FrameIT/frameworld) (the MMT archive) +at the same time with the *same* version number. + +Concretely: + +1. Create a new GitHub release here: <https://github.com/UFrameIT/UFrameIT/releases> +2. Merge [FrameIT/frameworld](https://gl.mathhub.info/FrameIT/frameworld)'s devel branch into master and git-tag it appropriately. +3. Write a news post on our website: <https://github.com/UFrameIT/UFrameIT.github.io>