Commit d403cd18 authored by Luc Maisonobe's avatar Luc Maisonobe

Merge branch 'github-release-sync-how-to' into 'develop'

Github release sync how to

See merge request orekit/orekit!122
parents a9d7cc04 c0868dd5
Pipeline #842 passed with stages
in 26 minutes and 23 seconds
......@@ -329,6 +329,19 @@ set the artifacts in the release notes.
Navigate to Projects > Orekit > Releases and make sure it looks nice.
## Synchronize the Github mirror
To enhance the visibility of the project, [a mirror]( is maintained on Github. The releases created on Gitlab are not automatically pushed on this mirror. They have to be declared manually to make visible the vitality of Orekit.
1. Login to Github
2. Go to the [Orekit releases]( page
3. Click on the [Draft a new release]( button
4. In the "Tag version" field of the form and in the "Release title" field, enter the tag of the release to be declared
5. Describe the release as it has been done on Gitlab
6. Click on "Publish release"
Github automically adds two assets (zip and tarball archives of the tagged source code)
## Update Orekit site
Several edits need to be made to the Orekit website after the vote.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment