Closed emilio closed 5 months ago
cc @pvdrz @kulp @ojeda
The information looks good to me.
I assume this was needed for the tagging privilege we discussed -- but please let me know if I should be aware of anything else.
Thanks Emilio!
No, that's right. This doesn't seem super-granular so I suppose you also have privileges to merge and so on too, but I think that's alright, I trust your judgement :)
Except Ojeda, everyone else used to have access to the repo.
Also, fix the repo URL.