Commits

History for

Commits on Jan 20, 2024

[docs] Fix brand name non-breaking space (#11758 )
oliviertassinari
committedJan 20, 2024

Commits on Jun 20, 2023

[core] Add PR template and update the contributions guide (#9329 )
DanailH
committedJun 20, 2023

Commits on Feb 6, 2022

[core] Move the git repository to a new location (#3872 )
oliviertassinari
committedFeb 6, 2022

Commits on Oct 1, 2021

[core] Clean error messages prefix (#2676 )
flaviendelangle
committedOct 1, 2021

Commits on Oct 14, 2020

Add CONTRIBUTING.md (#406 )
oliviertassinari
committedOct 14, 2020

Loading