3 ms·
why link to github when main repository is in savannah.gnu.org?
by sittingnut 7y ago
why link to github when main repository is in savannah.gnu.org?
- shakna 7y ago> 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.
- deleted 7y ago[deleted]