Skip to content

[pull] main from ueberdosis:main#92

Merged
pull[bot] merged 2 commits into
code:mainfrom
ueberdosis:main
May 15, 2026
Merged

[pull] main from ueberdosis:main#92
pull[bot] merged 2 commits into
code:mainfrom
ueberdosis:main

Conversation

@pull
Copy link
Copy Markdown

@pull pull Bot commented May 15, 2026

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )

bdbch and others added 2 commits May 15, 2026 12:23
…ization (#7827) (#7830)

* fix: extra mark tokens after inline atom nodes during Markdown serialization (#7827)

* chore: remove issue reference from changeset and test comment
* chore: update contribution guidelines with stricter requirements

- Require AI usage disclosure in PRs
- Require PRs to link to an assigned issue (trivial fixes exempt)
- Close PRs if follow-up questions go unanswered for 30 days
- Add AI disclosure checkbox to PR template
- Create AGENTS.md and CLAUDE.md with repo instructions for AI tools

* Potential fix for pull request finding

Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>

* Potential fix for pull request finding

Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>

* Potential fix for pull request finding

Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>

* Potential fix for pull request finding

Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>

* Apply suggestions from code review

Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>

* Update AGENTS.md

* Potential fix for pull request finding

Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>

---------

Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
@pull pull Bot locked and limited conversation to collaborators May 15, 2026
@pull pull Bot added the ⤵️ pull label May 15, 2026
@pull pull Bot merged commit b567914 into code:main May 15, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant