Skip to content

Update design system to 7f3ddaf402f1 - #7

Merged
patricktobias86 merged 1 commit into
mainfrom
automation/design-system-sync
Aug 26, 2026
Merged

patricktobias86 merged 1 commit into
mainfrom
automation/design-system-sync

Conversation

@1132-fixer-design-system-sync

@1132-fixer-design-system-sync 1132-fixer-design-system-sync Bot commented Aug 23, 2026

Copy link
Copy Markdown
Contributor

Automated design-system submodule and canonical brand asset sync from 1132-Fixer/design-system@ac0f1b1.

@patricktobias86
patricktobias86 merged commit 02717f8 into main Aug 26, 2026
1 check passed
@patricktobias86
patricktobias86 deleted the automation/design-system-sync branch August 26, 2026 00:42
@1132-fixer-design-system-sync 1132-fixer-design-system-sync Bot changed the title Update design system to 7f3ddaf402f1 Update design system to 106702d59b63 Sep 4, 2026
@1132-fixer-design-system-sync 1132-fixer-design-system-sync Bot changed the title Update design system to 106702d59b63 Update design system to 133fd766b1f5 Sep 5, 2026
@1132-fixer-design-system-sync 1132-fixer-design-system-sync Bot changed the title Update design system to 133fd766b1f5 Update design system to ac0f1b1cc789 Sep 11, 2026
@JG2547 JG2547 changed the title Update design system to ac0f1b1cc789 Update design system to 7f3ddaf402f1 Sep 12, 2026
@JG2547

JG2547 commented Sep 12, 2026

Copy link
Copy Markdown
Contributor

Title restored. This merged pull request was renamed after it merged, by automation, and the new title named a commit it does not contain.

The consumer sync in 1132-Fixer/design-system tested for an existing pull request with gh pr view <branch>, which also matches a closed or merged pull request on the same branch. Every later sync therefore edited this merged record instead of opening a new one. It was renamed three times, on 2026-09-04, 2026-09-05 and 2026-09-11.

Restored title Update design system to 7f3ddaf402f1
Set by the sync, when it opened this pull request on 2026-08-23
Incorrect title removed named ac0f1b1cc789, which is not in this pull request
Commit this pull request actually carried 7f3ddaf402f1456b10911264886719de62776b83

Two independent sources agree on the restored title: the renamed events in this issue's timeline, and the merge commit's own message body.

The description above is still wrong and was left alone deliberately. It names ac0f1b1cc789. The correct text is the same sentence with 7f3ddaf402f1456b10911264886719de62776b83, but GitHub does not expose pull-request body edit history through its API, so the original wording cannot be proven the way the title can. Guessing it would repeat the original mistake in the other direction.

Fixed in 1132-Fixer/design-system#6, which matches only open pull requests. Proven by the next sync run, 34624440090: it created four new pull requests and edited no merged one.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants