You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I probably might have simply overlooked it -- I saw the names of the companies / entities who pledged to maintain w3id.org, but not the GitHub usernames of those of you who are official maintainers of this repo.
Is there a way to find out who is currently allowed to merge Pull Requests? If not, would you be interested in adding this info to the README?
Looking forward to a short discussion if needed -- all the best and thanks for maintaining this! (Obviously this would also give you credit for the important work you do :)
Best,
Robert
The text was updated successfully, but these errors were encountered:
Is there a specific reason, like service oversight, or are you just curious?
It's mostly been me and @dgarijo doing everyday merging, with the occasional guest appearance by @msporny. I think a few other people did some early merges. The PR history is long but you could probably extract who has done merging into master with some git log magic. I forget who else is on the list, and I don't have admin access to check.
Hi @davidlehn, yes, a little like "service oversight" -- concretely, I wrote a comparison of w3id.org, purl.org, and The Handle System, and thus had to elucidate the "mechanics" of getting a PURL with each service.
For w3id.org one ultimately depends on the maintainers accepting the Pull Requests, and I couldn't answer to my colleagues how big the pool of maintainers actually was as of right now (but I could answer how incredibly fast you are by looking at the closed Pull Requests! 👍 )
@robertgiessmann maintainers are @davidlehn and I.
I do not have admin access (I volunteered to help after w3id.org had been set up), but my guess is that the partners who support the initiative (
Digital Bazaar
3 Round Stones
OpenLink Software
Applied Testing and Technology
Openspring
Bosatsu Consulting
SURROUND Australia) all have some sort of access.
Dear team,
I probably might have simply overlooked it -- I saw the names of the companies / entities who pledged to maintain w3id.org, but not the GitHub usernames of those of you who are official maintainers of this repo.
Is there a way to find out who is currently allowed to merge Pull Requests? If not, would you be interested in adding this info to the README?
Looking forward to a short discussion if needed -- all the best and thanks for maintaining this! (Obviously this would also give you credit for the important work you do :)
Best,
Robert
The text was updated successfully, but these errors were encountered: