Using Git

Working with the git repository for the source code of MariaDB on GitHub.