Module polling 

GitHub Polling API endpoints

Provides a polling-based alternative to webhooks for local development. Uses system notifications to alert users of new events.

Endpoints:

• GET /api/polling/config - Get current polling configuration
• POST /api/polling/config - Update polling configuration
• GET /api/polling/check - Get polling status
• POST /api/polling/check - Manually trigger a poll check

Structs

GitHubActor

GitHubEvent

GitHubRepo

PollResult

PollSummary

PollingConfig

Functions

router

start_polling_if_enabled

Start the background polling task if enabled