We want to add support refreshing the repository entity on push events, likely by triggering a repository refresh via the GitHub REST API when a push is received.