https://github.com/mariadb/mariadb.org-tools
This project collects together various small scripts or projects that are used for MariaDB development, but for one reason or another do not make sense to keep inside the main MariaDB source tree.
https://github.com/mariadb/mariadb.org-tools
Last synced: 7 months ago
JSON representation
This project collects together various small scripts or projects that are used for MariaDB development, but for one reason or another do not make sense to keep inside the main MariaDB source tree.
- Host: GitHub
- URL: https://github.com/mariadb/mariadb.org-tools
- Owner: MariaDB
- Created: 2017-04-13T22:57:00.000Z (about 9 years ago)
- Default Branch: master
- Last Pushed: 2025-03-27T20:15:34.000Z (about 1 year ago)
- Last Synced: 2025-04-05T14:04:49.907Z (about 1 year ago)
- Language: Jupyter Notebook
- Homepage:
- Size: 12.7 MB
- Stars: 53
- Watchers: 36
- Forks: 52
- Open Issues: 10
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# mariadb.org-tools
This project collects together various small scripts or projects that are used for MariaDB development, but for one reason or another do not make sense to keep inside the main MariaDB source tree.