Yeah that was my original plan, but there's no easy way to do that with the github API that I can see. Listing collaborators lists everyone with push AND pull access, and I would need push access only. I just asked @pengwynn about that.
http://developer.github.com/v3/repos/collaborators/#list