I also push to github and include in the repository announcement event.

I'm excited about the prospect of song. Push permissions are only based on whether the head commit is listed in the repo state event.