Closed pgiraud closed 3 months ago
really? you're supposed to have a commit bit on at least this repo
that's weird, maybe additional permissions are needed. I will look at it shortly (I'm not in front of a computer right now)
That should be fixed, can you check again?
All good. Thanks.
Great!
I don't have the permissions to merge.