https://github.com/psalm/psalm-github-bot

https://github.com/psalm/psalm-github-bot

Last synced: 10 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/psalm/psalm-github-bot
• Owner: psalm
• License: isc
• Created: 2019-12-09T00:17:28.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2025-08-13T20:15:50.000Z (10 months ago)
• Last Synced: 2025-08-13T22:09:25.738Z (10 months ago)
• Language: TypeScript
• Size: 5.68 MB
• Stars: 3
• Watchers: 2
• Forks: 5
• Open Issues: 11
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# psalm-github-bot

A GitHub App bot built with [Probot](https://github.com/probot/probot) that

monitors comments for any links to psalm.dev/r/whatever and posts snippets

and typecheck results for the snippet.

## Deployments

Just create a new release on the 'Releases' tab and Heroku will pick that up automatically.

## License

[ISC](LICENSE) © 2019 Bruce Weirdan