Merge java-support and spring-extensions repositories

Description

Experiment with merging the two existing low-level “shared code” repositories into a single one as a first step in refactoring for the Java 17 platform.

Environment

None

Activity

Ian YoungAugust 11, 2022 at 4:24 PM

Status is that we have switched over to the merged repository now. The main branches of the source repositories are now protected via Gitolite configuration and can not be (even accidentally) moved by anyone (even Gitolite admins).

Next step is to determine how we want to name the resulting artifacts (which was one of the aims of this merge) and the corresponding Maven coordinates.

Ian YoungJune 20, 2022 at 10:49 AM

Updated the merged repository again; the main and maint branches from the source repositories are no longer carried forward.

Ian YoungJune 15, 2022 at 9:14 AM

Updated the straw man merged repository; now includes rebased versions of all dev/ branches in the source repositories.

Ian YoungJune 9, 2022 at 3:32 PM

Current status:

Completed

Details

Assignee

Reporter

Affects versions

Created June 8, 2022 at 2:56 PM
Updated October 24, 2022 at 10:28 AM
Resolved October 24, 2022 at 10:28 AM