Allow push-github endpoint to also trigger flakes

Created by  Jelle Besseling  on December 28, 2020
EO4H55N3BE5JVDL2ME2YTXLJGB4KZASJ3GLKWOCRU6NBW4AUCJGQC
Change contents