Skip to content
GitLab
Explore
Sign in
Register
Orekit
Orekit
Merge requests
!122
Github release sync how to
Code
Review changes
Check out branch
Download
Patches
Plain diff
Sébastien Dinot
requested to merge
sdinot/orekit:github-release-sync-how-to
into
develop
Dec 23, 2020
Overview
0
Commits
5
Pipelines
1
Changes
1
Expand
Added a section in the release guide to explain how to create a release in Github.
Merge request reports