please give the core team push rights - Githubissues

math-comp / docker-mathcomp

Docker images of coq-mathcomp [maintainer=@erikmd]

https://hub.docker.com/r/mathcomp/mathcomp/#supported-tags

BSD 3-Clause "New" or "Revised" License

6 stars 2 forks source link

please give the core team push rights #5

Closed gares closed 5 years ago

gares commented 5 years ago

cc @ybertot

CohenCyril commented 5 years ago

done.