If you find an error in what I’ve made, then fork, fix lectures/l00_questions.md, commit, push and create a pull request. That way, we use the global brain power most efficiently, and avoid multiple humans spending time on discovering the same error.

PDF

Frequently asked questions

I get asked for password when I access github

It’s likely because the remote is set to https and not SSH

$git remote -v
origin https://github.com/analogicus/lelo_gr01_sky130a.git

then do

git remote set-url origin https://github.com/analogicus/lelo_gr01_sky130a.git

Or it could be because you have not setup public/private key access to github.