add checkbox to create follow up form

[mabiede]

No description provided.

[Copilot]

Pull request overview

Adds an admin UI control and backend handling to optionally enroll participants from a main session when creating a follow-up session.

Changes:

• Add an EnrollFromMain checkbox to the follow-up session creation form.
• Parse and act on the new EnrollFromMain boolean in the follow-up creation handler by enrolling existing main-session participants into the new follow-up session.
• Extend Pool_message.Field.t and EN/DE locale mappings to support the new field label.

Reviewed changes

Copilot reviewed 6 out of 6 changed files in this pull request and generated 2 comments.

Show a summary per file

File	Description
pool/web/view/page/page_admin_session.ml	Renders the new checkbox on the follow-up creation form.
pool/web/handler/admin_session.ml	Reads the new checkbox value and conditionally creates enrollment events for follow-up assignments.
pool/pool_message/field.mli	Adds EnrollFromMain to the Field.t variant type.
pool/pool_message/field.ml	Adds string encoding/printing for the new EnrollFromMain field.
pool/app/pool_common/locales/locales_en.ml	Adds EN label text for EnrollFromMain.
pool/app/pool_common/locales/locales_de.ml	Adds DE label text for EnrollFromMain and updates the HideIgnored translation.

[Copilot]

Pull request overview

Copilot reviewed 6 out of 6 changed files in this pull request and generated 2 comments.

[Copilot]

Pull request overview

Copilot reviewed 6 out of 6 changed files in this pull request and generated 2 comments.