Git Get Notification Check GitHub notifications, recent Issues, and recent PRs for a set of monitored repositories. Trigger When the user asks to check notifications, see what's new, or check updates on monitored repos. Monitored Repos - - - - - - - Execution Steps Step 1: Determine Target Repos - If the user specifies a particular repo (e.g., "check mcp-server-milvus"), only query that repo. Match by partial name against the monitored list. - If no repo is specified, query all monitored repos. Step 2: Fetch GitHub Notifications For each target repo, fetch unread notifications: Classify notif…