Branches · Orekit / Orekit · GitLab

Skip to content

GitLab

Explore

Sign in
Register

Overview
Active
Stale
All

Active branches

develop-13

17cfa8dc · Merge branch 'develop' into develop-13 · Sep 11, 2024
develop default protected

d1876932 · Merge branch 'issue-1526' into develop · Sep 11, 2024
issue-1104

02da2038 · Improved naming and Javadoc. · Sep 09, 2024

!507
master protected

265fcc4b · Merge branch 'release-12.1' · Sep 06, 2024
release-12.1 protected

6fca0271 · Merge branch 'patch-12.1.3' into 'release-12.1' · Sep 04, 2024

Show more active branches

Stale branches

release-7.2 protected

8cbb7d2d · Releasing Orekit 7.2.0. · Nov 03, 2017
release-8.0 protected

b9385527 · Releasing Orekit 8.0.1. · Nov 03, 2017
release-9.0 protected

85dd3388 · Releasing Orekit 9.0.1. · Nov 03, 2017
release-9.1 protected

899c86ba · Fixed findbugs and checkstyle errors. · Nov 24, 2017
release-9.2 protected

5da7febc · Added maven-source-plugin. · May 26, 2018

Show more stale branches