And what is the right approach to submitting a merge request in Github? Do

And what is the right approach to submitting a merge request in Github? Do we need to follow some full-blown procedure with ticketing, multiple feature branches, etc, or can I just make a single new branch for a group of my amendments and arrange them in a series of reasonable commits?

Hi Sergey,
just a PR please. I will review, and if needed ping you.

Cheers Sven

PS: [https://github.com/vaadin-developer/fluent-api-for-flow]
(https://github.com/vaadin-developer/fluent-api-for-flow)