3 ms·

I think that Github now labels them as "collaborators" in the UI. In this PR for example, wearhere is labelled as a collaborator in the corner of his comment.

I think that Github now labels them as "collaborators" in the UI. In this PR for example, wearhere is labelled as a collaborator in the corner of his comment. https://github.com/inkling/Subliminal/pull/170 https://github.com/inkling/Subliminal/pull/170

olalonde 13y ago
Oh, I didn't notice. I suppose having the full list of collaborators could still be useful in some cases.