Small demo-based check for GitHub presubmits - View it on GitHub