Skip to content

Add Edit on Github button to tutorials #83

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Open
tmigot opened this issue Aug 12, 2022 · 3 comments · May be fixed by #188
Open

Add Edit on Github button to tutorials #83

tmigot opened this issue Aug 12, 2022 · 3 comments · May be fixed by #188
Labels
enhancement tutorials Everything related to tutorials

Comments

@tmigot
Copy link
Member

tmigot commented Aug 12, 2022

That's a feature encouraging contributors to edit tutorials.

@tmigot tmigot added enhancement tutorials Everything related to tutorials labels Aug 12, 2022
@Jay-sanjay Jay-sanjay linked a pull request Dec 25, 2023 that will close this issue
@abelsiqueira
Copy link
Member

Clarifying this issue:

  • The tutorials are stored in JSOTutorials.jl
  • The edit button should be on the individual tutorial page
  • Clicking the button should lead to the JSOTutorials.jl file for that specific tutorial

@Jay-sanjay
Copy link

@abelsiqueira @dpo Wanted to be clear that for example I want to edit tutorials of this -https://jso.dev/tutorials/advanced-jsosolvers/ then I should point to this -https://github.com/JuliaSmoothOptimizers/JSOTutorials.jl/tree/main/tutorials/advanced-jsosolvers for editing. Please correct me if I am wrong.

@abelsiqueira
Copy link
Member

@Jay-sanjay, that is correct. Possibly in the weaving (in JSOTutorials.jl), so it is automatically modified whenever we add new tutorials.

# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
enhancement tutorials Everything related to tutorials
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants