Fix broken use of Int8 as boolean in codegen test

[tkelman]

0737032 was pushed straight to master without going through CI
or even local testing

[iblislin]

Maybe branch protection can help? https://github.com/blog/2051-protected-branches-and-required-status-checks

[tkelman]

Unfortunately no, that only prevents you from force-pushing over something, it doesn't prevent someone who has commit access from pushing to master. That needs to be socially enforced for now (or git hooks or something else opt-in).

[nalimilan]

Looks like you can restrict push to admins: https://help.github.com/articles/about-branch-restrictions/ That would be a good idea given that we are quite a few to have a contributor status (and our machines could be hacked).

[tkelman]

I think the branch restrictions apply equally to the merge button on PR's vs pushing from the command line. From what I've seen there's no github feature that does exactly what we want of enforcing master should only be pushable via PR's.