From b5c4ce0faa2c24948dda2509b2cb8755df296b9c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jakub=20Jare=C5=A1?= Date: Sun, 19 Jul 2026 09:55:08 +0200 Subject: [PATCH] Document PR-only workflow and no force-push for agents MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Add a rule that changes go through a pull request and branches are never force-pushed. We squash-merge, so the commit history inside a PR does not matter, and plain pushes avoid needless merge conflicts. 🤖 --- .github/copilot-instructions.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/copilot-instructions.md b/.github/copilot-instructions.md index 17d987d52..3e6baa9aa 100644 --- a/.github/copilot-instructions.md +++ b/.github/copilot-instructions.md @@ -15,6 +15,10 @@ These instructions apply to all Copilot sessions working in this repository. closes automatically on merge. Do **not** mention the fixed issue in commit messages (no `Fix #34:` prefix or similar) — it's unnecessary noise. - Give every PR a meaningful title and a summary describing the changes. +- **Make changes through a pull request, and never force-push a branch.** Add new + commits on top instead. We squash-merge, so the commit history inside a PR is + irrelevant (it becomes a single commit on merge), and plain pushes avoid needless + merge conflicts. ## Building