> pull requests can be made at https://github.com/oriansj/stage0 https://github.com/oriansj/stage0 and https://gitlab.com/janneke/stage0 https://gitlab.com/jann

> pull requests can be made at https://github.com/oriansj/stage0 https://github.com/oriansj/stage0 and https://gitlab.com/janneke/stage0 https://gitlab.com/janneke/stage0 or patches/diffs can be sent via email to Jeremiah (at) pdp10 [dot] guru or join us on freenode’s #bootstrappable The main contributing points seem to be github and gitlab, rather than savannah.