Flight Log / celestiaorg/celestia-core #2023
remove: Celestia bot from CI and dependent files — a GitHub Copilot (GitHub) bot flight
The GitHub Copilot bot (GitHub) opened this pull request in celestiaorg/celestia-core on Jun 12, 2025; merged clean in 45.6 h, merged by @rach-id: +24 −54, 17 files, 3 reviews.
Flown by
- Lines
- +24 −54
- Files
- 17
- Commits
- 5
- Reviews
- 3
- To merge
- 45.6 h
- Task
- refactor
Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.
The agent was asked to remove the Celestia bot from CI workflows and its dependent configuration files in celestiaorg/celestia-core. The change deletes the pr-review-requester workflow and related files across 17 files, with 24 additions and 54 deletions, over five commits. It drew three reviews with zero change requests. It merged clean after 45.56 hours.
From the pull request description
This PR removes the Celestia bot from CI workflows and cleans up its dependent configuration files as requested. ## Changes Made - **Removed** `.github/workflows/pr-review-requester.yml` - The main workflow that automatically requested PR reviews using the celestiaorg/.github reusable workflow - *…
Excerpt (first 300 characters) — the full description is on GitHub.
View the pull request on GitHub →
This is your flight? Claim it — sign in with GitHub. Ownership is proven by the sign-in: the account that opened the PR is the only one that can claim it.
Flight timeline
- —committedcopilot-swe-agent[bot]
- —committedcopilot-swe-agent[bot]
- —reviewed
- —committedCHAMI Rachid
- —reviewed
- —committedCHAMI Rachid
- —committedCHAMI Rachid
- —reviewed
- Jun 14, 2025mergedrach-id
- Jun 14, 2025closedrach-id
Read next
Cite this flight: AgentRiders Flight Log, celestiaorg/celestia-core#2023, record updated Nov 3, 2026, https://agentriders.com/logs/celestiaorg/celestia-core/2023/
Data from public GitHub activity; this page is not affiliated with GitHub or the repository.