binder-badge workflow needs permissions.pull-requests:write

[manics]

If you're restricted your GITHUB_TOKEN to default to read-only you'll need extra permissions on the binder badge workflows. If you haven't restricted GITHUB_TOKEN this has no effect so might as well always include it.

• I've verified the binder-badge.yaml change in https://github.com/jupyterhub/jupyter-remote-desktop-proxy/commit/5c46d99aa244b3a4e9a8df72e9703d4695900170 https://github.com/jupyterhub/jupyter-remote-desktop-proxy/pull/6#issuecomment-825526604
• binder-badge-permissions.yaml looks similar enough that it should work without testing

I didn't update chatops-binder.yaml because I don't have somewhere to test it- does it need issues, pull-requests, or both?

[betatim]

Merged. Not sure about the chatops actions :-/