@whiscard volunteered to help us out with infrastructure changes
Can someone give him permission in github?
His username is https://github.com/whiscard
Also, I cleaned some users which I think do not require access to that group anymore.
@whiscard volunteered to help us out with infrastructure changes
Can someone give him permission in github?
His username is https://github.com/whiscard
Also, I cleaned some users which I think do not require access to that group anymore.
Doneย