Here is a way to monitor these changes in real-time: https://play.clickhouse.com/play?user=play#U0VMRUNUIGNyZWF0Z...

The SQL query:

    SELECT created_at, 'https://github.com/'||repo_name||'/issues/'||number AS url, event_type, actor_login, repo_name, title FROM github_events WHERE match(title, '\\bDEI\\b') ORDER BY created_at DESC