-
Notifications
You must be signed in to change notification settings - Fork 3
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Transfer repository to JuliaDocs #10
Comments
I think you should just be able to request the transfer of this repository to JuliaDocs under "Settings > Danger Zone > Transfer ownership"? |
Yes, that's what I thought at first, but the requirements for transferring to an organization seem to be different.
In fact, I got the following error message:
|
Interesting. Can you transfer it to my personal user and then I'll move it under JuliaDocs? |
It seems to have transferred successfully. Thank you @mortenpi! |
As suggested in JuliaDocs/Documenter.jl#1441 (review)
Add @kimikage to JuliaDocs members (to create the repository)BTW, I don't care about the default branch name, so I just use the default name. As a result, this repository uses the "main". If you prefer "master", you can change the name.
The text was updated successfully, but these errors were encountered: