>> If you're running out of work, move some tasks from Notion to GitHub

I assume that GitHub is used for day-to-day task management and has a backlog of tasks for the nearest few days. And Notion is for high-level feature planning and contains the roadmap with most of the user stories. It is a good solution.