It played out in public on the GitHub repository, so yes.