Currently if you delete a repo in Github, it's not synced in real-time to Port (unless you manually trigger a new sync).