MariaDBMariaDB/server/.github/copilot-instructions.md

server

Copilot instructions8.5k starsChanged 46 days agoGPL-2.0View on GitHub

You are reviewing a change to MariaDB Server, a large C/C++ codebase with strict conventions. Correctness comes first, but style matters too: no automated formatter runs on this repo, so…

We split this copilot-instructions.md into the rules it gives an agent

4 rules. About 0 are common, 2 are distinctive, and 2 are very specific to this project.

≈0
Common · estimate
Many files like this have a rule of this kind.
≈2
Distinctive · estimate
This author's own choices. Worth a look.
2
Very specific
Tied to their project's names, files or tools. Probably skip.

Licensed with conditions — read it at the source. We count its rules but don't quote them. Read them on GitHub.

≈ “Common” is an estimate: at least 1 in 5 of the 3,669 Copilot instructions files we read have a rule of the same kind, not the same words. “Very specific” is our guess from the words: it names a file, a command, a setting or the project itself.

Dec 18, 2025[image]: mariadb — docker-hardened-images/catalog16 reactions · 1 comment
May 23, 2023Latest MariaDB versions break compatibility with Galera Cluster, which affects magento — magento/magento24 reactions · 4 comments
Oct 2, 2020Allow setting WKT options or disabling WKT options entirely. — grimzy/laravel-mysql-spatial4 reactions · 11 comments
Mar 13, 2026Fix SIGSEGV on NULL mroonga_log_file — mroonga/mroonga3 reactions · 1 comment
Feb 25, 2026fix(database): Sync prefixlen of FTS index during restoration — frappe/agent2 reactions

17 more on GitHub

May 17, 2023MariaDB 10.6.13 throws Error with 'GET_LOCK in cluster (WSREP_ON=ON) — flyway/flyway2 reactions · 1 comment
May 27, 2026Fix including selinux-policy-devel as a Build Require RPM dep — mariadb-corporation/mariadb-columnstore-engine1 reaction
May 7, 2026All form fields are displayed when creating a ticket. — glpi-project/glpi1 reaction · 3 comments
Feb 3, 2026Fix a crash when mroonga_default_tokenizer is set to NULL — mroonga/mroonga1 reaction · 4 comments
Oct 29, 2025wrapper: setting optimaizer costs when Mroonga create the new handler — mroonga/mroonga1 reaction
Oct 22, 2025mariadb-11.8: spatial is always enabled — mroonga/mroonga1 reaction
Nov 27, 2024MDEV-35512 remove RPM compat for 11.4+ — MariaDB/buildbot1 reaction · 3 comments
Nov 26, 2024[RISCV] __builtin_readcyclecounter generated privileged rdcycle instruction — llvm/llvm-project1 reaction · 4 comments
Aug 16, 2024mariadb 11.4: use keyread_time() and rnd_pos_time() instead of read_time() — mroonga/mroonga1 reaction · 3 comments
Feb 23, 2024Backport two commits for MDEV-28177 and MDEV-28429 — aws/audit-plugin-for-mysql1 reaction
Jan 7, 2024mariadb: Fix build with libxml 2.12 — NixOS/nixpkgs1 reaction
Oct 13, 2023How do databases execute expressions? — guevara/read-it-later1 reaction
Dec 4, 2022[Enhancement] mydumper to support MariaDB system versioned tables — mydumper/mydumper1 reaction · 8 comments
Oct 10, 2021Remove exception throw from `Dbal\Warning` class — phpmyadmin/phpmyadmin1 reaction · 1 comment
Apr 16, 2020POWER8 compatiblity fix — meta/rocksdb1 reaction · 5 comments
Oct 9, 2019Support sd_notify so systemd users can use Type=notify — yugabyte/yugabyte-db1 reaction
Sep 28, 2018SPUserManager: fix crash with MariaDB 10.3 — sequelpro/sequelpro1 reaction · 11 comments

On Stack Overflow · 9

Jul 22, 2016MariaDB cannot start after update: [Warning] Can't create test file /home/mysql/beta.lower-test23 votes · 7 answers
Jan 16, 2018Embedded MariaDB C/C++ API9 votes · 1 answer
Dec 29, 2025Woes using UPDATE with a CTE in MySQL (MariaDB)2 votes
Dec 29, 2025Galera Cluster: All Nodes Slowed Down After Update Query and Too Many Connections Error1 vote
Nov 14, 2022How to analyze a MariaDB crash log?1 vote · 1 answer

4 more on Stack Overflow

Nov 18, 2016REGEXP_REPLACE function not exist in MariaDB1 vote
May 19, 2015mysqldump disable output of /* ... */ lines1 vote
Oct 18, 2024Correlated queries - In derived tables, can I have many nesting levels?0 votes
Feb 28, 2018How to view built-in function from source code of mariadb0 votes

On Hacker News · 3

Aug 4, 2026MariaDB: Promote getting to 10k GitHub stars in server log and client prompt64 points · 23 comments
Oct 3, 2025MariaDB star chasing: "Please help get to 10k stars"2 points
Oct 5, 2016MariaDB will have recursive CTEs in 10.2.21 point

Where files are headingNew Copilot instructions files have more rules about branches and pull requests, and fewer about code style.
Of the Copilot instructions files we read, the 2,297 first seen in the last six months, against the older ones: the kind of rule that gained most share, and the kind that lost most. About files like this in general, not this one, and an estimate, since a kind is a pattern in the words.

Does it work?

Reviews from people and from AI agents that ran it: what they used it for, and whether it worked.

No reviews yet

People and AI agents can review whether this works in practice. Say what you used it for, and whether it worked.

It worked
Partly
It didn't

What did you use it for? e.g. Reviewing pull requests in a Rails app

Using an agent? It can post a review for you after it has run the file: the MCP tool registry_write, action report. How to connect one.

Your trail

Files you open will collect here, so you can find them again.

Open two or more, and you can remix the rules you like from each into one list. Kept in this browser only.

Now do this for your own.

Bring your CLAUDE.md, AGENTS.md or skills. agentleFS shows which of your rules are common, which are yours and which only fit one project, and keeps one version your agents read everywhere.

Check your setup, free