mirror of
https://github.com/andwati/zitadel.git
synced 2026-10-19 22:14:25 +00:00
Elio BischofGitHubFlorian ForsterMax PeintnerMax Peintnerdependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>Copilot# Which Problems Are Solved When changes are pulled or pushed from or to a login repository, they can't be merged to zitadel, because the commit histories differ. # How the Problems Are Solved Changed the commands to allow diverging commit histories. Pulling takes a lot of commits into the zitadel repo branch like this. This is fine, as we anyway squash-merge PRs to a single commit. So we don't care about a branches commit history. # Additional Changes Added an exception to the close-pr.yml workflow so sync PRs are not auto-closed. --------- Signed-off-by: dependabot[bot] <[email protected]> Co-authored-by: Florian Forster <[email protected]> Co-authored-by: Max Peintner <[email protected]> Co-authored-by: Max Peintner <[email protected]> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> Co-authored-by: Copilot <[email protected]>