This bot syncs public Notion pages as GitHub Discussions/Issues. It's done periodically, based on the pages shared with the Notion Integration, and based on metadata specific on your Notion page.
Usage
To use this tool, please make sure to have the following:
Deploy this tool or run it locally with the relevant env vars.
Make sure to add the user your wish to use as collaborator in your repos (this is needed only in order to delete Discussions)
To make a Notion page public and syncable, first make sure to share this page with the Notion Integration you created:
If you wish to make the Notion page public (with the Notion url), also tick Share to web:
Annotate the top of your Notion page with the repo you wish to sync the page with the following text (NOT as code block, just as text - this should be the first block of your Notion page):