Closed ShreyanshTripathi closed 5 years ago
@dpsanders I think you have to deploy the keys to allow push access for the docs to be deployed. see this. I think I do not have the permissions to do that.
Is there some kind of permission I need to give you for you to be able to do this?
I made you admin of the repo; I guess this allows you to do things like this.
I will give it a try, though I am not sure it will work (since the repo is under JuliaIntervals "username").
Sorry for the noise; it did work (with some small corrections).
It finally worked! Re-closing.
Sorry for that. For the time being, I suggest to look at the tests. If you have any problems or questions, we may answer them here.