mirror of
https://github.com/MariaDB/server.git
synced 2025-01-15 19:42:28 +01:00
b844a376ec
Often there are small "nitpicky" changes that need to be done to a PR in order to get it merged. To speed up the merge process, we will ask contributors if they are ok with the reviewer making those changes. Other fixups: Improve PR template rendering in browser's textarea field. Line wrapping at 80 characters provides a bad user experience within the browser, which handles word wrapping separately. Thus, prefer long lines in this markdown file. Remove the "backwards compatibility section". While the contributor should ideally care about the impact of their patch on the server's backwards compatibility, this is an advanced topic that is better presented in a separate document. |
||
---|---|---|
.. | ||
CODEOWNERS | ||
pull_request_template.md |