We should only replicate to github things that people can see anyway. Change-Id: I3a1aa93cc805d64a1c04ea963df54223c06f5837