pr-merge-watcher

Checks for merged PRs and updates Notion to Done. Use daily or on-demand to close out completed tickets after PR merge.