vscode-pull-request-github icon indicating copy to clipboard operation
vscode-pull-request-github copied to clipboard

[WIP] Add periodic refresh for notifications every 10 minutes

Open Copilot opened this issue 2 months ago • 0 comments

Plan: Add Periodic Notification Refresh

  • [x] Add new setting key constant for notification refresh interval
  • [x] Add configuration in package.json with default of 10 minutes (600 seconds)
  • [x] Update NotificationsManager to use the configurable refresh interval
  • [x] Remove unused _pollingDuration field
  • [x] Fix reference to use _getRefreshInterval()
  • [x] Fix disposable leak in _startPolling()
  • [x] Handle refresh interval change when polling is not active
  • [x] Improve polling lifecycle to prevent resource leaks
  • [x] Improve code safety and add better comments
  • [ ] Run final code review
  • [ ] Run CodeQL security check
Original prompt

This section details on the original issue you should resolve

<issue_title>Periodically update notifications</issue_title> <issue_description>Testing microsoft/vscode-pull-request-github#6329

It seems like the notifications are only update on manual refresh. It would be nice if the extensions would periodically update the notifications </issue_description>

<agent_instructions>Add a periodic refresh. Set it to 10 minutes by default, controlled by a setting.</agent_instructions>

Comments on the Issue (you are @copilot in this section)

  • Fixes microsoft/vscode-pull-request-github#6351

💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.

Copilot avatar Dec 10 '25 11:12 Copilot