occupation
Software Developers
description
This skill should be used when the user asks to "find fixed issues that are still open", "close resolved issues", "check open issues against merged PRs", "clean up stale issues", or wants to detect GitHub issues already addressed by merged pull requests.
updated