Gerwin Klein

> What do you think about this particular case? The `Cargo.toml` files are new in the sense that they're freshly generated, but old in the sense that they are identical...

> > If it is too much of a hassle, I'd actually just leave it. Generally you don't really gain anything from updating the copyright year anyway. > > What...

Thanks for reporting that. Is it the example on [this page](https://docs.sel4.systems/projects/sel4test/)? If yes, I think I can see where the confusion is coming from. The first set of instructions (under...

That assumption is perfectly fine (I rarely read all of the text in such cases), we should make it so that that strategy works. I'm just trying to figure out...

(rebased to more easily see the new commits)

Ok, I've managed to get it working, and before I start reviewing all the small details, it's probably better to start high level: - The new inline solutions and the...

(have rebased and removed the edits to `Gemfile.lock` + `.ruby-version`)

> You accidentally committed a conflicted merge, see `` blocks. Sorry about that, should now be fixed. Not sure how I managed to miss that one.

> I get this when I try to build: > > ``` > make[1]: *** No rule to make target '_repos/tutes/libraries-1.md', needed by 'tutorials'. Stop. > make[1]: Leaving directory '/docs'...

The docsite should really be using a manifest and not just randomly clone things, but one thing at a time.