The Projects API isn't actually stable as of today, according to
https://developer.github.com/v3/projects/collaborators/. As such, no
assumptions can be made about what it returns. In older GitHub
Enterprise versions, for instance, the permission key is missing.
Change-Id: I3e706a209d263c698e76cb7e6b636d69d608ecc9