[PR #1079] [MERGED] docs: celebrate 20,000 GitHub stars 🎉 #2627

New issue

Closed

opened 2026-10-17 21:08:22 +00:00 by bsakaguchi · 0 comments

bsakaguchi commented

2026-10-17 21:08:22 +00:00

Owner

📋 Pull Request Information

Original PR: https://github.com/morluto/rea/pull/1079
Author: @N0zoM1z0
Created: 10/8/2026
Status: ✅ Merged
Merged: 10/8/2026
Merged by: @N0zoM1z0

Base: main ← Head: docs/celebrate-20k-stars

📝 Commits (1)

fb97f56 docs: celebrate 20,000 GitHub stars 🎉

📊 Changes

5 files changed (+20 additions, -0 deletions)

View changed files

📝 README.md (+4 -0)
📝 README_ar.md (+4 -0)
📝 README_ja.md (+4 -0)
📝 README_ko.md (+4 -0)
📝 README_zh.md (+4 -0)

📄 Description

Celebrate REA reaching 20,000 GitHub stars with a short thank-you in all five README languages, recognizing users, bug reports, build testing, and contributed fixes. GitHub reported 20,021 stars when preparing the commit.

Verification: README formatting, repository static checks, and generated-document checks. This is a documentation-only milestone; runtime and generated contracts are unchanged.

_{🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.}

## 📋 Pull Request Information **Original PR:** https://github.com/morluto/rea/pull/1079 **Author:** [@N0zoM1z0](https://github.com/N0zoM1z0) **Created:** 10/8/2026 **Status:** ✅ Merged **Merged:** 10/8/2026 **Merged by:** [@N0zoM1z0](https://github.com/N0zoM1z0) **Base:** `main` ← **Head:** `docs/celebrate-20k-stars` --- ### 📝 Commits (1) - [`fb97f56`](https://github.com/morluto/rea/commit/fb97f56b0eab1c988e7481354d2ad70156576cf2) docs: celebrate 20,000 GitHub stars 🎉 ### 📊 Changes **5 files changed** (+20 additions, -0 deletions) <details> <summary>View changed files</summary> 📝 `README.md` (+4 -0) 📝 `README_ar.md` (+4 -0) 📝 `README_ja.md` (+4 -0) 📝 `README_ko.md` (+4 -0) 📝 `README_zh.md` (+4 -0) </details> ### 📄 Description Celebrate REA reaching 20,000 GitHub stars with a short thank-you in all five README languages, recognizing users, bug reports, build testing, and contributed fixes. GitHub reported 20,021 stars when preparing the commit. Verification: README formatting, repository static checks, and generated-document checks. This is a documentation-only milestone; runtime and generated contracts are unchanged. --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>

bsakaguchi

2026-10-17 21:08:22 +00:00

closed this issue
added the
pull-request
label

bsakaguchi referenced this issue

2026-10-31 01:06:40 +00:00

[PR #2858] [MERGED] fix(browser): preserve script-specific parser uncertainty #5441

No milestone

No project

No assignees

1 participant

Notifications

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

morluto/rea#2627

No description provided.

Rows
Columns