Skip to content

ci: remove the Pullfrog workflow - #18

Merged
igorovh merged 1 commit into
masterfrom
ci/remove-pullfrog
Nov 12, 2026
Merged

igorovh merged 1 commit into
masterfrom
ci/remove-pullfrog

Conversation

@igorovh

@igorovh igorovh commented Nov 12, 2026

Copy link
Copy Markdown
Owner

The Pullfrog app is uninstalled, so nothing dispatches this workflow anymore. tidy (https://github.com/igorovh/tidy) now handles reviews and issues through its own GitHub App, with no workflow in this repository.

@hvorogi hvorogi Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

✅ Ready to merge

This change deletes the unused Pullfrog workflow. It is safe to merge.

Checks
No checks are configured, so nothing passed or failed.

What I checked
  • Confirmed the diff only deletes .github/workflows/pullfrog.yml
  • Searched the repo for remaining pullfrog references and found none
  • Confirmed .github/workflows still contains ci.yml

✨ Powered by tidy | Model: opencode-go/muse-spark-1.3-contributor

@igorovh
igorovh merged commit 29ab28e into master Nov 12, 2026
4 checks passed
@igorovh
igorovh deleted the ci/remove-pullfrog branch November 12, 2026 20:39
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.

1 participant