Skip to content

IMPROVEMENT : Gloses in Hexapla should be better separated visually (… - #429

Merged
benel merged 1 commit into
mainfrom
improvement-423
Jun 3, 2026
Merged

IMPROVEMENT : Gloses in Hexapla should be better separated visually (…#429
benel merged 1 commit into
mainfrom
improvement-423

Conversation

@Lysakolie

Copy link
Copy Markdown
Contributor

…improves #423)

Co-authored-by:Gabriel DOSNE gabriel.dosne@utt.fr
Co-authored-by:Arthur DE PETIGNY ragxorus55@gmail.com

We, Gabriel DOSNE, Arthur DE PETIGNY, Morgane VIALA, hereby grant to Hyperglosae maintainers the right to publish our contribution under the terms of any licenses the Free Software Foundation classifies as Free Software Licenses.

@Lysakolie
Lysakolie requested a review from benel as a code owner May 26, 2026 13:17

@benel benel left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you for your contribution @Lysakolie @ragxorus @gd-utt

Please note that the title of your commit should be amended to fully comply with Github and local project conventions:

IMPROVEMENT: Gloses in hexapla should be better separated visually (see #423).

Co-authored-by: Gabriel DOSNE <gabriel.dosne@utt.fr>
Co-authored-by: Arthur DE PETIGNY <ragxorus55@gmail.com>

Regards.

@ragxorus
ragxorus requested a review from benel June 2, 2026 12:30
@benel
benel force-pushed the improvement-423 branch 3 times, most recently from 49317c0 to 919ab50 Compare June 3, 2026 14:17
…loses #423).

Co-authored-by: Gabriel DOSNE <gabriel.dosne@utt.fr>
Co-authored-by: Arthur DE PETIGNY <151913121+ragxorus@users.noreply.github.com>
@benel
benel force-pushed the improvement-423 branch from 919ab50 to 514e119 Compare June 3, 2026 14:18
@benel
benel merged commit 514e119 into main Jun 3, 2026
3 checks passed
@benel
benel deleted the improvement-423 branch June 3, 2026 14:29
@benel

benel commented Jun 3, 2026

Copy link
Copy Markdown
Member

Thank you for your contribution @Lysakolie @ragxorus @gd-utt

Your contribution is live on the production server! Well done 🎉

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants