Skip to content
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

Pacman tutorial website #51

Open
wants to merge 19 commits into
base: main
Choose a base branch
from
Open

Pacman tutorial website #51

wants to merge 19 commits into from

Conversation

orzechow
Copy link
Member

@orzechow orzechow commented Oct 4, 2024

Let's split a first GitHub pages website from the pacman tutorial website.
This adds the Tutorial

Based on

Closes #28

@orzechow orzechow changed the base branch from main to add_website October 4, 2024 14:17
@orzechow orzechow mentioned this pull request Oct 4, 2024
Base automatically changed from add_website to main October 11, 2024 14:38
@ll-nick ll-nick changed the base branch from main to pacman-demo October 18, 2024 18:30
@ll-nick
Copy link
Collaborator

ll-nick commented Oct 18, 2024

I just changed the base to the demo branch and hopefully maybe didn't break stuff during the rebase.

@ll-nick
Copy link
Collaborator

ll-nick commented Oct 18, 2024

Come to think of it, that didn't actually make too much sense. I changed to the demo branch because we need to remove some code from the demo so that it can be re-implemented.

But of course that part should be merged to main. I'll try and undo the rebase I just did.

@ll-nick ll-nick changed the base branch from pacman-demo to main October 18, 2024 18:45
@orzechow
Copy link
Member Author

@ll-nick I fixed the git history by

  • rebasing my state 1132327
  • onto origin/main ae7038e and
  • cherry-picking your two commits on top it.

@ll-nick ll-nick force-pushed the pacman-tutorial-website branch 3 times, most recently from 1c1d1ea to 7dfac0e Compare October 24, 2024 14:22
@ll-nick
Copy link
Collaborator

ll-nick commented Oct 24, 2024

Alrighty, here's a first draft, let me know what you think :)

The tutorial branch is all setup, too.

@ll-nick ll-nick marked this pull request as ready for review October 24, 2024 14:25
@ll-nick ll-nick self-assigned this Oct 24, 2024
@ll-nick
Copy link
Collaborator

ll-nick commented Oct 24, 2024

@orzechow I can't actually add you as a reviewer since you opened the PR. I assume you can give feedback anyway and should you be happy, I'll approve my own changes ;-)

@ll-nick ll-nick mentioned this pull request Oct 31, 2024
1 task
@orzechow
Copy link
Member Author

The tutorial quickly starts into the coding part – which I prefer against bloated descriptions 👌

Still, I'm thinking, if we should add a basics section explaining arbitration graphs in general – maybe as a sidelink or so.
IMHO we can't assume visitors are aware of our publication and know the concept.

If short enough, we could add this to the main Readme 🤔

@ll-nick what do you think?

@ll-nick
Copy link
Collaborator

ll-nick commented Nov 14, 2024

Yes, that is a very good point. I think a short and concise description in the main README would be the very least of what we should do.
In the tutorial introduction, we could also link to a "theory" section where we go more in depth about the concepts, although we could also just link a paper there.

@orzechow
Copy link
Member Author

In the tutorial introduction, [...] we could also just link a paper there.

Or paste some paper content in here.

@orzechow
Copy link
Member Author

Rebased onto main

@orzechow
Copy link
Member Author

I rebased the tutorial branch on top of this one – just to keep a consistent setup (slight changes to CMake or so).

Also, the tutorial did not compile, see fe40628 and 42f2526

@orzechow
Copy link
Member Author

@ll-nick Just that you're aware:
Currently the tutorial branch contains some commits that will end up here (by resorting the commits).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Write tutorial
2 participants