diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md index 65e2cb3ea683b..3536ffd1e949a 100644 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -1,4 +1,6 @@ - + + + diff --git a/AGENTS.md b/AGENTS.md index e57c76e81c93d..8a6c305006232 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -1,4 +1,6 @@ - + + # AGENTS instructions The main developer documentation lives in the `contributing-docs` directory. The following points summarise diff --git a/scripts/ci/license-templates/SHORT_LICENSE.md b/scripts/ci/license-templates/SHORT_LICENSE.md index 00f6fac8f3647..f7e12815e3d4a 100644 --- a/scripts/ci/license-templates/SHORT_LICENSE.md +++ b/scripts/ci/license-templates/SHORT_LICENSE.md @@ -1 +1,2 @@ - +