Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Open sidebar
Orekit
Orekit
Merge Requests
!122
Merged
Opened
Dec 23, 2020
by
Sébastien Dinot
@sdinot
Owner
Options
Github release sync how to
Overview
0
Commits
5
Pipelines
1
Changes
1
Added a section in the release guide to explain how to create a release in Github.
👍
0
👎
0