eodoccupationSoftware DevelopersdescriptionGenerate a concise end-of-day summary from GitHub activity in the last 24 hours - commits, issues, and PRsupdated2026-02-07