Changes

#1203 (Jun 13, 2024, 1:08:23 AM)

1. Fix new warnings — Eike Stepper / githubweb

#1192 (May 29, 2024, 12:40:20 PM)

1. Ignore sources of org.eclipse.egit.github.core — Eike Stepper / githubweb

#1143 (Dec 9, 2023, 5:30:50 AM)

1. [Releng] Generate product group references in documentation — Eike Stepper / githubweb

#1131 (Nov 25, 2023, 7:12:46 AM)

1. Uncomment ANT_HOME — Eike Stepper / githubweb

#1130 (Nov 25, 2023, 7:10:06 AM)

1. Fix promoter classpath — Eike Stepper / githubweb