Using Git

Working with the Git Repository for the Source Code of MariaDB on Github.