3 ms·
> GNU Make’s source code is available from Github repository It's not GitHub, it's Savannah, as just linked literally 2 lines below : > http://savannah.gnu.or
by speps 10y ago
> GNU Make’s source code is available from Github repository
It's not GitHub, it's Savannah, as just linked literally 2 lines below :
> http://savannah.gnu.org/git/?group=make http://savannah.gnu.org/git/?group=make
- brudgers 10y agoSavannah is home to the core development team's repository. The author mentions this in the article. However, the source code is available in more than one place. With GNU projects, it is not uncommon.
- AlexDenisov 10y agoThat was a typo :)
- mikegerwitz 10y agoThe author already changed the link (as mentioned below). On that note that---with some GNU projects use GitHub as a mirror---GitHub fails GNU's ethical repository criteria for hosts: https://www.gnu.org/software/repo-criteria.html https://www.gnu.org/software/repo-criteria.html
- belorn 10y agoDo you know which features of github that require javascript? Would be interesting to know from a noscript perspective.
- jwilk 10y agoOff the top of my head: - changing repo's description - changing repo's homepage URL - changing default branch - (un)protecting a branch - editing an issue comment - adding files to a release - removing files from a release - removing a release - renaming repo - removing repo - logging out Most of these could be probably scripted via API, but I'm lazy... Still better than Bitbucket, which won't you even log in with JS disabled.
- mikegerwitz 10y agoThanks for that list; I haven't checked to update in a while. :)
- mikegerwitz 10y agoI haven't checked in some time, but this was the list I noticed a little while back: https://mikegerwitz.com/about/githubbub https://mikegerwitz.com/about/githubbub jwilk's list below seems much more comprehensive.