Open abelsiqueira opened 3 months ago
Suggested by @dpo, maybe we could use GitHub.jl to create a new repo and push.
This should be an optional feature, to avoid running privileged code by default.
No response
@allcontributors please add @dpo for ideas
@abelsiqueira
I've put up a pull request to add @dpo! :tada:
Description
Suggested by @dpo, maybe we could use GitHub.jl to create a new repo and push.
This should be an optional feature, to avoid running privileged code by default.
Motivation
No response
Target audience
No response
Can you help
No response