[PR #1752] [MERGED] docs: celebrate 80,000 GitHub stars 🎉 #4793

New issue

Closed

opened 2026-10-31 00:55:07 +00:00 by bsakaguchi · 0 comments

bsakaguchi commented

2026-10-31 00:55:07 +00:00

Owner

📋 Pull Request Information

Original PR: https://github.com/morluto/rea/pull/1752
Author: @kaoru0822-kitauji
Created: 10/11/2026
Status: ✅ Merged
Merged: 10/11/2026
Merged by: @kaoru0822-kitauji

Base: main ← Head: docs/readme-80000-stars

📝 Commits (1)

6ed23bd docs: celebrate 80,000 GitHub stars 🎉

📊 Changes

1 file changed (+1 additions, -1 deletions)

View changed files

📝 README.md (+1 -1)

📄 Description

Changes the README's Star history banner from 60,000 to 80,000 GitHub stars. The repository has 80,147 stars as of this PR.

This changes only README.md, like the 60,000 update in #1559. The translated READMEs still say 50,000.

Validation: oxfmt --check README.md.

🤖 Generated with Claude Code

_{🔄 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/1752 **Author:** [@kaoru0822-kitauji](https://github.com/kaoru0822-kitauji) **Created:** 10/11/2026 **Status:** ✅ Merged **Merged:** 10/11/2026 **Merged by:** [@kaoru0822-kitauji](https://github.com/kaoru0822-kitauji) **Base:** `main` ← **Head:** `docs/readme-80000-stars` --- ### 📝 Commits (1) - [`6ed23bd`](https://github.com/morluto/rea/commit/6ed23bd72633b2daa5c6b1491390363d3178a2ff) docs: celebrate 80,000 GitHub stars 🎉 ### 📊 Changes **1 file changed** (+1 additions, -1 deletions) <details> <summary>View changed files</summary> 📝 `README.md` (+1 -1) </details> ### 📄 Description Changes the README's Star history banner from 60,000 to 80,000 GitHub stars. The repository has 80,147 stars as of this PR. This changes only `README.md`, like the 60,000 update in #1559. The translated READMEs still say 50,000. Validation: `oxfmt --check README.md`. 🤖 Generated with [Claude Code](https://claude.com/claude-code) --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>

bsakaguchi

2026-10-31 00:55:07 +00:00

closed this issue
added the
pull-request
label

bsakaguchi referenced this issue

2026-10-31 01:14:16 +00:00

[PR #4795] [CLOSED] fix(ghidra): prepare ownership before the Java probe deadline #6411

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#4793

No description provided.

Rows
Columns