Demo repo for GitHub pull request workflow